Søkte etter:

3 treff

Lambda-calculus and combinators : an introduction
J. Roger Hindley, Jonathan P. Seldin
Bok Engelsk 2008
Introduction to combinators and λ-calculus
J. Roger Hindley, Jonathan P. Seldin
Bok Engelsk 1986
Studies in illative combinatory logic
Seldin, Jonathan P.
Bok Engelsk 1968