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) > Lambda-Kalkül > Metamathematik > Logik > Datenverarbeitung > Kombinatorische Logik > Programmiersprache > Konferenzschrift > Lambda-Calculus
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!