2 citations · 6 across the 11 of their papers we have counts for
1 paper · 2 filters
Fabio Pasquali
We provide a co-free construction which adds elementary structure to a primary doctrine. We show that the construction preserves comprehensions and all the logical operations which…