TU Darmstadt / ULB / TUbiblio

Reduction-free normalisation for a polymorphic system

Altenkirch, Thorsten :
Reduction-free normalisation for a polymorphic system.
In: LICS 96: Logic in Computer Science Symposium <11, 1996, New Brunswick>: Proc. . IEEE Computer Society Press , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (1996)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1996
Autor(en): Altenkirch, Thorsten
Titel: Reduction-free normalisation for a polymorphic system
Sprache: Englisch
Reihe: LICS 96: Logic in Computer Science Symposium <11, 1996, New Brunswick>: Proc.
Ort: Los Alamitos
Verlag: IEEE Computer Society Press
Edition: Los Alamitos: IEEE Computer Society Press, 1996
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:57
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen