jump to search box

Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi ... [et al.].

Availability

Online

At the Library

Other libraries

Author/Creator:
Barendregt, Henk.
Language:
English.
Publication date:
2013
Publication:
Cambridge : Cambridge University Press, 2013.
Format:
  • Book
  • xxii, 833 pages : ill. ; 26 cm.
Bibliography:
Includes bibliographical references (pages 791-813) and indexes.
Contributor:
Dekkers, Wil.
Statman, Richard.
Series:
Perspectives in logic.
Subjects:
ISBN:
9780521766142
0521766141

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top