An ALF proof of Mac Lane's coherence theorem
Licentiate thesis, 1997
Martin-Löf type theory
coherence theorem
monoidal categories
ALF
Author
Ilya Beylin
Department of Computer Science
Subject Categories
Computer and Information Science
ISBN
91-7197-519-5