[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

Author(s)

• Böhm, Corrado
• Istituto per le applicazioni del calcolo

Bibliographic Information

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm

（Lecture notes in computer science, 37）

Springer-Verlag, 1975

• : gw
• : us

Note

English or French

Includes bibliographies

Details

• NCID: BA03113925
• ISBN:
  • 3540074163
  • 0387074163
• LCCN: 75033375
• Country Code: gw
• Title Language Code: eng
• Text Language Code: engfre
• Place of Publication: Berlin ; New York
• Pages/Volumes: xii, 370 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.5
  • DC : 511/.3
• Subject Headings:
  • LCSH : Combinatory logic -- Congresses
  • LCSH : Programming languages (Electronic computers) -- Congresses
• Parent Bibliography ID:
  • BA00009279