Exploring Shape-Irrelevant Reflection in Terminating Extensional Type Theory 🧩
Join this insightful pre-recorded talk from TYPES 21 conference to understand how shape-irrelevant reflection advances terminating extensional type theory. Perfect for type theory enthusiasts!
Théo Winterhalter
31 views • Aug 30, 2021
About this video
Pre-recorded talk for the TYPES 21 conference.
https://types21.liacs.nl/download/shape-irrelevant-reflection-terminating-extensional-type-theory/
https://types21.liacs.nl/download/shape-irrelevant-reflection-terminating-extensional-type-theory/
Video Information
Views
31
Likes
1
Duration
4:34
Published
Aug 30, 2021
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now