Parametricity, automorphisms of the universe, and excluded middle
From MaRDI portal
Publication:6282147
arXiv1701.05617MaRDI QIDQ6282147
Peter LeFanu Lumsdaine, Michael Shulman, Auke Bart Booij, Martín Hötzel Escardó
Publication date: 19 January 2017
This page was built for publication: Parametricity, automorphisms of the universe, and excluded middle
