Recherche
8 résultat(s) · 55 ms
Recherche en cours…
Introduction to combinators and [lambda]-calculus
James Roger Hindley, Jonathan Paul Seldin
1986
[Lambda]-calculus and combinators
James Roger Hindley, Jonathan Paul Seldin
2008
Lambda-conversion and logic
Lambda-conversion and logic
Adrian Rezus
1981
Lambda-calculus, combinators, and functional programming
György Egon Révész
1988
Categories for types
Roy L. Crole
1993
Selected papers on Automath
1994
Derivation and computation
Harold Simmons
2000
The lambda calculus
Hendrik Pieter Barendregt
1984