Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger
TYPES 2022
🔥 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 Thailand under the topic 'สภาพอากาศ'.
About this video
TYPES 2022
Video Information
Views
148
Total views since publication
Likes
4
User likes and reactions
Duration
18:26
Video length
Published
Jun 30, 2022
Release date
Quality
hd
Video definition