Title:
The definition of the NSP type system
Author(s):
Draheim, Dirk; Fehr, Elfriede; Weber, Gerald
Year of publication:
2002
Available Date:
2009-05-13T13:45:50.310Z
DDC-Classification:
004 Datenverarbeitung; Informatik
Publication Type:
Arbeitspapier
Department/institution:
Mathematik und Informatik
Institut für Informatik
Series/Multivolume:
Freie Universität Berlin, Fachbereich Mathematik und Informatik
