arXiv Open Access 2014

A categorical semantic for the Typed Epsilon Calculus

Fabio Pasquali

Lihat Sumber

Abstrak

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

math.LO

Fabio Pasquali

APA MLA BibTeX

Pasquali, F. (2014). A categorical semantic for the Typed Epsilon Calculus. https://arxiv.org/abs/1409.2467

Lihat di Sumber

Informasi Jurnal