%0 Journal Article
%A Chris Kapulkin
%A Peter LeFanu Lumsdaine
%T The law of excluded middle in the simplicial model of type theory
%J Theory and applications of categories
%D 2020
%P 1546-1548
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2020_35_a39/
%G en
%F TAC_2020_35_a39