3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Davide Trotta, Matteo Spadetto
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse th…