Proof of the principal type property for system O

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wehr, Martin (VerfasserIn)
Weitere Verfasser:	Odersky, Martin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Karlsruhe Univ., Fak. für Informatik 1996
Schriftenreihe:	Technical Bericht / Universität Karlsruhe, Fakultät für Informatik [96,16]
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Ausdruck des elektron. Dokuments, Stand: 27.04.1998 Auch als elektronisches Dokument vorh
Beschreibung:	30 Bl 30 cm