Travelled to:1 × Austria
1 × Italy
Collaborated with:∅ W.Phoa
Talks about:proposit (1) categori (1) semant (1) reason (1) propos (1) pure (1) ml (1)
Person: Michael P. Fourman
DBLP: Fourman:Michael_P=
Contributed to:
2001
1992Wrote 2 papers:
- TACAS-2001-Fourman #reasoning
- Propositional Reasoning (MPF), p. 23.
- ICALP-1992-PhoaF #ml #semantics
- A Proposed Categorial Semantics for Pure ML (WP, MPF), pp. 533–544.