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

Barendregt, Henk

ISBN 10: 184890066X / ISBN 13: 9781848900660

Published by College Publications, 2012

About this Item

Seller Inventory # I-9781848900660

Bibliographic Details

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

Publisher: College Publications

Publication Date: 2012

Binding: Soft cover

Condition: New

About this title

Synopsis:

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 from variables, using application and abstraction. Applying a term F to M has...

More