2 citations · 6 across the 11 of their papers we have counts for
1 paper · 1 filter
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…