TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas (1995):
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, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Sat Sep 24 04:11:43 2022 CEST.