### Dependent Type Theory as an n-Theory

#### Posted by David Corfield

Here are slides for a talk I gave last week to my department on some of the advantages for philosophy of adopting dependent type theory. It revolves around Mike’s very interesting theory of n-theories.

MathOverflow saw a flurry of activity the same day on the advantages for proof assistants.

Posted at November 27, 2020 7:20 PM UTC
## Re: Dependent Type Theory as an n-Theory

It looks like your slide link is wrong.