A categorical semantic for the Typed Epsilon Calculus
arXiv:1409.2467
Abstract
We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.
arXiv:1409.2467
We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.