TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 2.

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)

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas :
Categorical reconstruction of a reduction free normalization proof.
In: Category Theory and Computer Science <1995, Cambridge>: Proceedings. Hrsg.: D. Pitt et al. - Berlin, Heidelberg (u.a.): Springer, 1995 , 953 . Springer , Berlin, Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Diese Liste wurde am Sat Oct 21 07:20:05 2017 CEST generiert.