Wesley Phoa Michael P. Fourman A Proposed Categorial Semantics for Pure ML. 533-544 1992 conf/icalp/1992 ICALP db/conf/icalp/icalp92.html#PhoaF92 http://dx.doi.org/10.1007/3-540-55719-9_102