Basic simple type theory /

Autor Hindley, J. Roger, 1939-
Vydáno 1997

Introduction to combinators and the lambda-calculus /

Autor Hindley, J. Roger, 1939-, Seldin, J. P.
Vydáno 1986

Lambda-calculus and combinators : an introduction /

Autor Hindley, J. Roger, 1939-, Seldin, J. P.
Vydáno 2008