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

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Istituto per le Applicazioni del Calcolo Mauro Picone <Rom> (BerichterstatterIn)
Weitere Verfasser: Böhm, Corrado (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1975
Schriftenreihe:Lecture notes in computer science 37
Schlagworte:
Lambda-calculus > Langages de programmation - Congrès > Logique combinatoire - Congrès > Combinatory logic > Programming languages (Electronic computers) > Kombinatorische Logik > Programmiersprache > Datenverarbeitung > Metamathematik > Lambda-Kalkül > Logik > Konferenzschrift > Lambda-Calculus
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XII, 370 S.
ISBN:3540074163
3-540-07416-3
0387074163
0-387-07416-3