Maps II: Chasing diagrams in categorical proof theory
Dusko Pavlovic
Journal
J. of the IGPL
Number
2
Pages
1–36
Volume
4
Year
1996
Dusko Pavlovic