15 citations · 15 across the 1 of their papers we have counts for
1 paper
Gianluigi Bellin
To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts doe…