@misc{indiciae5e94231711a0,
  title = {A categorical semantic for the Typed Epsilon Calculus},
  author = {Fabio Pasquali},
  year = {2014},
  url = {https://arxiv.org/abs/1409.2467},
  note = {Source identifier: 1409.2467}
}