nLab Théo Winterhalter

personal page

Selected writings

On dependent type theory and proof assistants (Coq):

Théo Winterhalter, Formalisation and Meta-Theory of Type Theory, Nantes (2020) [pdf, github]

Talks

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)

Related entries

type telescope

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.