Lambda-Kalkül und Kombinatoren: Eine Einführung von J. Roger Hindley (Englisch) H
127,24 €
Lambda-Calculus and Combinators: An Introduction. J. Symbolic Logic 'The best general book on lambda-calculus (typed or untyped) and the theory of combinators.'. Gerard Huet, INRIA. by J. Roger Hindley, Jonathan P. Seldin.
Jetzt bei Ebay: