Lambda Calculus with Types /

Lambda Calculus with Types /

Saved in:
Bibliographic Details
Author / Creator:Barendregt, Henk.
Imprint:Cambridge : Cambridge University Press, 2013.
Description:1 online resource (857 pages)
Language:English
Series:Perspectives in Logic
Perspectives in logic.
Subject:
Lambda calculus.
Lambda calculus.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11864997
Hidden Bibliographic Details
Other authors / contributors:Dekkers, Wil.
Statman, Richard.
ISBN:9781461936565
146193656X
9781107272248
1107272246
9781139032636
1139032631
9780521766142
0521766141
9781107471313
1107471311
9781107275041
1107275040
Notes:16.3 mathcal D infty models as filter models.
Includes bibliographical references and index.
Print version record.
Summary:This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

Similar Items