A categorical semantic for the Typed Epsilon Calculus

Fabio Pasquali

We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.