Haupttitel:
The definition of the NSP type system
Autor*in:
Draheim, Dirk; Fehr, Elfriede; Weber, Gerald
Datum der Freigabe:
2009-05-13T13:45:50.310Z
DDC-Klassifikation:
004 Datenverarbeitung; Informatik
Publikationstyp:
Arbeitspapier
Fachbereich/Einrichtung:
Mathematik und Informatik
Institut für Informatik
Serie/Mehrbändig:
Freie Universität Berlin, Fachbereich Mathematik und Informatik