Søkte etter:

6 treff

Lambda-calculus and combinators : an introduction
J. Roger Hindley, Jonathan P. Seldin
Bok Engelsk 2008
Basic simple type theory
J. Roger Hindley
Bok Engelsk 1997
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1997
Introduction to combinators and λ-calculus
J. Roger Hindley, Jonathan P. Seldin
Bok Engelsk 1986
To H. B. Curry : essays on combinatory logic, lambda calculus and formalism
edited by J. P. Seldin, J. R. Hindley
Bok Språk ikke angitt 1980
Introduction to combinatory logic
Hindley, J. Roger
Bok Engelsk 1972