TU Darmstadt / ULB / TUbiblio

Positive subtyping

Hofmann, Martin ; Pierce, ; Pierce, :
Positive subtyping.
In: Information and computation. 126 (1996), No. 1, S. 186-197
[Artikel], (1996)

Typ des Eintrags: Artikel
Erschienen: 1996
Autor(en): Hofmann, Martin ; Pierce, ; Pierce,
Titel: Positive subtyping
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Information and computation. 126 (1996), No. 1, S. 186-197
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:59
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen