An ALF proof of Mac Lane's coherence theorem
Licentiatavhandling, 1997
Martin-Löf type theory
coherence theorem
monoidal categories
ALF
Författare
Ilya Beylin
Institutionen för datavetenskap
Ämneskategorier
Data- och informationsvetenskap
ISBN
91-7197-519-5