Editions of Lambda calculus with types

Filters
Henk Barendregt: Lambda calculus with types (2013, Cambridge University Press)

Lambda calculus with types

833 pages

English language

Published 2013 by Cambridge University Press.

ISBN:
978-0-521-76614-2
Copied ISBN!

Can't find the edition you're looking for?