Searching for "Representing `undefined' in lambda Calculus." – 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.

Keele, England, July 20--29, 1993
by The European Summer, Richard Bornat, The Dov Gabbay, Wilfrid Hodges, Martin Hyl, Thomas Jech, David Makinson, Stephen Read, Charles Steinhorn, Anne Troelstra, John Truss, The Jayne Beardmore, Peter Fletcher, Chris Johnson, John Stell, Roger Whitehouse From The Computer, Andreas Blass, Ubiquitous Cardinals, Ronald Jensen
…, Representing `undefined' in lambda calculus, Journal of Functional Programming, vol. 2 (1992), no. 3, pp. 367…
Add To MetaCart

Showing 1 through 1.

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