×

Found 2 Documents (Results 1–2)

Categorical reconstruction of a reduction free normalization proof. (English) Zbl 1502.03019

Pitt, David (ed.) et al., Category theory and computer science. 6th international conference, CTCS ’95, Cambridge, United Kingdom, August 7–11, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 953, 182-199 (1995).
MSC:  03F05 03B40 03G30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field