Coherent bicartesian and sesquicartesian categories, R. Kahle et al (0)

by K Doˇsen, Z Petrić
Venue:eds, Proof Theory in Computer Science, Lecture