Some Results on the Full Abstraction Problem for Restricted Lambda Calculi (1993)

Cached

Download Links

by Furio Honsell , Marina Lenisa , Dedicated To Corrado Bohm
Venue:In Proc. of the 18 th International Symposium on Mathematical Foundations of Computer Science, MFCS'93, Springer LNCS
Citations:14 - 1 self

Document Versions

Some Results on the Full Abstraction Problem for Restricted Lambda Calculi –Furio Honsell, Marina Lenisa, Dedicated To Corrado Bohm — 1993 — In Proc. of the 18 th International Symposium on Mathematical Foundations of Computer Science, MFCS'93, Springer LNCS