λ-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
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
C. Böhm
Themen in »λ-Calculus and Computer Science Theory«
Informatik calculus computer science kombinatorische Logik lambda calculus logic programming language semantics
Stimmen zu »λ-Calculus and Computer Science Theory«
Details
ISBN: 9783540379447
Verlag: Springer Berlin
Erscheinung: 07.12.2005