The Lambda Calculus. Its Syntax and Semantics

Barendregt Henk

ISBN 10: 184890066X / ISBN 13: 9781848900660

Edité par College Publications, 2012

A propos de cet article

pp. 656 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 108855410

Détails bibliographiques

Titre : The Lambda Calculus. Its Syntax and Semantics

Éditeur : College Publications

Date d'édition : 2012

Reliure : Couverture souple

Etat : New

A propos de ce titre

Synopsis :

The Lambda Calculus. Its Syntax and Semantics The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up f... Full description