17 citations · 72 across the 42 of their papers we have counts for
1 paper · 2 filters
K. Dosen, Z. Petric
Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-orde…