Searching for "Some Results on the Full Abstraction Problem for Restricted Lambda Calculi." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Some Results on the Full Abstraction Problem for Restricted Lambda Calculi
by 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
…Some Results on the Full Abstraction Problem for Restricted Lambda Calculi Furio Honsell and Marina…
Cited by 12 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB