LaTeX source for Sized Dependent Types via Extensional Type Theory
Primary LanguageTeXCreative Commons Attribution 4.0 InternationalCC-BY-4.0