Extracting a proof of coherence for monoidal categories from a formal proof of normalization for monoids
Paper i proceeding, 1996

Författare

Peter Dybjer

Programmeringslogik

Ilya Beylin

Programmeringslogik

TYPES '95, LNCS

Vol. 1158 47-61

Ämneskategorier

Annan matematik