Lambda Calculus with Types (Perspectives in Logic)

Barendregt

by: Henk Barendregt · Wil Dekkers · Richard Statman

Hardcover

ISBN: 978-0-521-76614-2

ISBN-10: 0-521-76614-1

Cambridge University Press · 2013