Travelled to:
1 × Austria
1 × USA
Collaborated with:
M.P.Fourman ∅
Talks about:
structur (1) categori (1) intrins (1) semant (1) propos (1) effect (1) domain (1) pure (1) ml (1)
Person: Wesley Phoa
DBLP: Phoa:Wesley
Contributed to:
Wrote 2 papers:
- ICALP-1992-PhoaF #ml #semantics
- A Proposed Categorial Semantics for Pure ML (WP, MPF), pp. 533–544.
- LICS-1990-Phoa #effectiveness
- Effective Domains and Intrinsic Structure (WP), pp. 366–377.