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