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!
About this video
Pre-recorded talk for the TYPES 21 conference.
https://types21.liacs.nl/download/shape-irrelevant-reflection-terminating-extensional-type-theory/
Video Information
Views
31
Total views since publication
Likes
1
User likes and reactions
Duration
4:34
Video length
Published
Aug 30, 2021
Release date
Quality
hd
Video definition
About the Channel
Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Spain under the topic 'g'.
Share This Video
SOCIAL SHAREShare this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!