TY  - RPRT
TI  - A categorical semantic for the Typed Epsilon Calculus
AU  - Fabio Pasquali
PY  - 2014
UR  - https://arxiv.org/abs/1409.2467
ID  - 1409.2467
ER  -