×

Found 2 Documents (Results 1–2)

Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. (English) Zbl 1407.68432

Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 47-61 (1996).
MSC:  68T15 18D10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software