The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

Barendregt, Henk

ISBN 10: 184890066X / ISBN 13: 9781848900660

Edité par College Publications, 2012

A propos de cet article

Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur wbs2742120233

Détails bibliographiques

Titre : The Lambda Calculus. Its Syntax and ...

Éditeur : College Publications

Date d'édition : 2012

Reliure : Couverture souple

Etat : Like 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