![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Coherence in Categories Volume 281 || A cut-elimination theorem
Kelly, G. M., Laplaza, M., Lewis, G., Mac Lane, SaundersVolume:
10.1007/BF
Year:
1972
Language:
english
DOI:
10.1007/bfb0059559
File:
PDF, 614 KB
english, 1972