Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Shulman2018Homotopical
%A Shulman, Michael
%B Joint Mathematics Meeting
%D 2018
%K 03b15-higher-order-logic-type-theory 65h20-global-methods-including-homotopy-approaches
%T Homotopical Trinitarianism: A Perspective on Homotopy Type Theory
%U http://home.sandiego.edu/\~shulman/papers/trinity.pdf