TYPES21 Shape-irrelevant reflection: terminating extensional type theory
Pre-recorded talk for the TYPES 21 conference. https://types21.liacs.nl/download/shape-irrelevant-reflection-terminating-extensional-type-theory/
🔥 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 Bangladesh under the topic 's'.
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