Description: Lambda calculus with types

Saved in:

Bibliographic Details
:	ProQuest (Firm) Barendregt, Henk.
TeilnehmendeR:	Dekkers, Wil. Statman, Richard. ProQuest (Firm)
Year of Publication:	2013
Language:	English
Series:	Perspectives in logic
Online Access:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1303578
Physical Description:	1 online resource (xxii, 833 p.).
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Bibliography:	Includes bibliographical references and indexes.
ISBN:	9780521766142 9781107273818 (electronic bk.)
Hierarchical level:	Monograph
Statement of Responsibility:	Henk Barendregt, Wil Dekkers, Richard Statman.