Author:
Honsell Furio,Lenisa Marina
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Information and Computation 163, 404–470 (2000)
2. Abramsky, S., Ong, C.-H.L.: Full Abstraction in the Lazy lambda-calculus. Information and Computation 105(2), 159–268 (1993)
3. Lecture Notes in Computer Science;S. Abramsky,2001
4. Baeten, J., Boerboom, B.: Omega can be anything it should not be. Proc. of Koninklijke Netherlandse Akademie van Wetenschappen, Serie A, Indag. Matematicae 41 (1979)
5. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)