Syntactic type checking using Scott retraction maps:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Schmidt, David A. (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Edinburgh 1982
Schriftenreihe:University <Edinburgh> / Department of Computer Science: Internal report 112
Schlagwörter:
Umfang:23
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6031-112
Lageplan
Exemplar 1 Ausleihbar Am Standort