Semantics of Data Types
International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
G. Kahn
Themen in »Semantics of Data Types«
Datentyp Semantik lambda calculus logic proof theory semantics
Stimmen zu »Semantics of Data Types«
Details
ISBN: 9783540388913
Verlag: Springer Berlin
Erscheinung: 30.06.2005