2 citations · 4 across the 14 of their papers we have counts for
1 paper · 2 filters
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…