- Journal:
- J. of the IGPL
- Volume:
- 4
- Issue:
- 2
- Pages:
- 1-36
- Publication date:
- 1996-01-01
- URN:
-
uuid:2d6e9602-0666-4e48-9ccf-c262b4356793
- Local pid:
- cs:597
- Copyright date:
- 1996
Journal article
Maps II: Chasing diagrams in categorical proof theory
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record