Introduction to combinators and λ-calculus

Author(s)

• Hindley, J. Roger
• Seldin, Jonathan P.

Bibliographic Information

Introduction to combinators and λ-calculus

J. Roger Hindley, Jonathan P. Seldin

（London Mathematical Society student texts, 1）

Cambridge University Press, 1986

• : hard
• : pbk

Note

Bibliography: p. 340-352

Includes index

Details

• NCID: BA00194319
• ISBN:
  • 0521268966
  • 0521318394
• LCCN: 85029908
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge [Cambridgeshire] ; New York
• Pages/Volumes: 360 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.5
  • DC19 : 511/.6
  • NDC8 : 412.2
• Subject Headings:
  • LCSH : Combinatory logic
  • LCSH : Lambda calculus
• Parent Bibliography ID:
  • BA00194352