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

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 |