Category - Textbook/Educational Curriculum / College & Above

Format - Paperback

Condition - Like New

Listed - 8 months ago

Views - 4

Ships From - New Mexico

Est. Publication Date - Apr 2012

The Lambda Calculus Its Syntax and Semantics

Publisher Description

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 part...