Livro the lambda calculus. its syntax and semantics

Descrição: The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, c... Veja mais