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

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

Includes bibliographical references

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Istituto per le Applicazioni del Calcolo Mauro Picone (BerichterstatterIn), Symposium on Lambda-Calculus and Computer Science Theory (BerichterstatterIn)
Weitere Verfasser: Böhm, Corrado (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1975
Schriftenreihe:Lecture notes in computer science 37
Schlagworte:
Combinatory logic > Congresses > Programming languages (Electronic computers) > Konferenzschrift > Informatik > Lambda-Kalkül > Programmiersprache > Kombinatorische Logik > Logik > Metamathematik
Online Zugang:Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Includes bibliographical references
Beschreibung:XII, 370 S.
graph. Darst.
ISBN:3540074163
3-540-07416-3
0387074163
0-387-07416-3