Normal view MARC view ISBD view

Lambda-calculus and combinators, an introduction

J. Roger Hindley

Lambda-calculus and combinators, an introduction - Cambridge University Press 2008 - 345

SAR/156/2008/19-03-09

Subjects--Topical Terms:
Lambda calculus.
Combinatory logic.

Place hold
Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)