nLab
Sam Speight
Talks
Talks
- Sam Speight, Higher-Dimensional Realizability for Intensional Type Theory, Strength of Weak Type Theory, DutchCATS, 11 May 2023. (slides)
Last revised on September 15, 2023 at 23:43:28.
See the history of this page for a list of all contributions to it.