TY - GEN
AU - Booij, Auke B.
AU - Escardó, Martín H.
AU - Lumsdaine, Peter LeFanu
AU - Shulman, Michael
AU - Auke B. Booij and Martín H. Escardó and Peter LeFanu Lumsdaine and Michael Shulman
TI - Parametricity, Automorphisms of the Universe, and Excluded Middle
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - homotopy type theory
KW - relational parametricity
KW - excluded middle
KW - constructive mat
KW - classical mathematics
KW - dependent type theory
KW - univalent foundations
PY - 2018
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation