nLab Théo Winterhalter

Selected writings

On dependent type theory and proof assistants (Coq):


  • Théo Winterhalter, A conservative and constructive translation from extensional type theory to weak type theory, Strength of Weak Type Theory, DutchCATS, 11 May 2023. (slides)
category: people

Last revised on September 15, 2023 at 23:41:40. See the history of this page for a list of all contributions to it.