Typo
Jonathan Weinberger
]]>Added talk to references section
Anonymous
]]>I have inserted a few words into the Idea-paragraph and added more hyperlinks. Please check if you agree:
]]>Simplicial type theory (Riehl & Shulman 2017, §3) is a homotopy type theory which introduces additional non-fibrant layers on top of Martin-Löf type theory to provide a logical calculus for a directed interval type and with it for geometric shapes, consisting of cube judgments, tope judgments, inequality topes, extension types, Segal space-types, Rezk complete-types, and covariant fibrations.
starting stub on simplicial type theory
Anonymous
]]>