Coherent bicartesian and sesquicartesian categories, R. Kahle et al

by Zoran Petrić
Venue:eds, Proof Theory in Computer Science, Lecture
Citations:11 - 1 self