Combinatory reduction systems

Author(s)

• Klop, J. W. (Jan Willem)

Bibliographic Information

Combinatory reduction systems

J.W. Klop

（Mathematical Centre tracts, 127）

Mathematisch centrum, 1980

• pbk.

Note

Thesis (Ph.D.)--State University of Utrecht

Bibliography: p. 298-303

Includes index

Details

• NCID: BA06838050
• ISBN:
  • 9061962005
• LCCN: 81172011
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xiii, 317 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.5
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Combinatory logic
  • LCSH : Lambda calculus
  • LCSH : Recursive programming
• Parent Bibliography ID:
  • BA0072600X