Talk page

Title:
Substructural Type Theory

Speaker:
Noam Zeilberger

Link:
https://www.ias.edu/video/univalent/1213/0322-NoamZeilberger