2 citations · 6 across the 11 of their papers we have counts for
1 paper · 2 filters
Fabio Pasquali
We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.