jump to search box

The lambda calculus : its syntax and semantics / H.P. Barendregt.

Availability

At the Library

Other libraries

Author/Creator:
Barendregt, H. P. (Hendrik Pieter)
Language:
English.
Publication date:
1984
Imprint:
Rev. ed. - Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Format:
  • Book
  • xv, 621 p. : ill ; 23 cm.
Note:
Includes indexes.
Bibliography:
Includes bibliographical references (p. 585-598).
Available in another form:
Online version: Barendregt, H.P. (Hendrik Pieter) Lambda calculus. Rev. ed. Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 (OCoLC)696260142
Series:
Studies in logic and the foundations of mathematics ; v. 103.
Subjects:
ISBN:
0444867481
9780444867483
0444875085
9780444875082

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