Lambda calculus with types

Author(s)

• Barendregt, H. P. (Hendrik Pieter)
• Dekkers, Wil
• Statman, Richard
• Association for Symbolic Logic

Bibliographic Information

Lambda calculus with types

Henk Barendregt, Wil Dekkers, Richard Statman

（Perspectives in logic）

Association for Symbolic Logic , Cambridge University Press, 2013

Note

Includes bibliographical references (p. 791-813) and index

"Association for Symbolic Logic."

• NCID: BB12819706
• ISBN:
  • 9780521766142
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York,Cambridge
• Pages/Volumes: xxii, 833 p.
• Size: 26 cm
• Classification:
  • DC23 : 511.35
• Subject Headings:
  • LCSH : Lambda calculus
• Parent Bibliography ID:
  • BA90341523