The lambda calculus, its syntax and semantics

Author(s)

• Barendregt, H. P. (Hendrik Pieter)

Bibliographic Information

The lambda calculus, its syntax and semantics

Henk P. Barendregt

（Studies in logic / series editor, Dov Gabbay, v. 40）

College Publications, c2012

Note

Bibliography: p. [585]-598, E16

Includes indexes

"Addenda for the sixth imprinting": p. E1-E2

Details

• NCID: BB21404213
• ISBN:
  • 9781848900660
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xv, 621, 16 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.5
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Lambda calculus
• Parent Bibliography ID:
  • BA82085144