collaborators

1 paper

math.LO2014

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.