TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Hofmann, Martin ; Pierce, Benjamin C. (1996)
Positive subtyping.
In: Information and computation, 126 (1)
doi: 10.1006/inco.1996.0031
Artikel, Bibliographie