C.-H. Luke Ong (ong-chl)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Abramsky, Samson and Ong, C.-H. Luke. 1992. Full Abstraction in The Lazy Lambda Calculus. Cambridge: University of Cambridge, Computer Laboratory.
Ong, C.-H. Luke. 1995. “Correspondence between Operational and Denotational Semantics: the Full Abstraction Problem for PCF.” in Handbook of Logic in Computer Science. Volume 4. Semantic Modelling, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 270–355. Oxford: Oxford University Press.