Accepted Contributions

Contributions

Icon

Types are Internal ∞-groupoids 167.16 KB 9 downloads

Antoine Allioux, Eric Finster, and Matthieu Sozeau ...
Icon

Using Two-Level Type Theory for Staged Compilation 213.63 KB 11 downloads

Andr´as Kov´acs ...
Icon

Zaionc paradox revisited 205.52 KB 15 downloads

Pierre Lescanne ...