Exploring Synthetic Tait Computability in Simplicial Type Theory 🧪
Discover how synthetic Tait computability advances the foundations of simplicial type theory in this insightful presentation by Jonathan Weinberger at TYPES 2022.
TYPES 2022
148 views • Jun 30, 2022
About this video
TYPES 2022
Video Information
Views
148
Likes
4
Duration
18:26
Published
Jun 30, 2022
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now