![[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective]()
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspectivePitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Axel · 1989