CSL 2021 - Session 6
0:01:44 - Domain Theory in Constructive and Predicative Univalent Foundations (Tom de Jong and Martin Escardó) 0:27:17 - Church’s Thesis and Related Axioms ...
🔥 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
0:01:44 - Domain Theory in Constructive and Predicative Univalent Foundations (Tom de Jong and Martin Escardó)
0:27:17 - Church’s Thesis and Related Axioms in Coq’s Type Theory (Yannick Forster)
0:51:39 - A Cyclic Proof System for HFLN (Mayuko Kori, Takeshi Tsukada and Naoki Kobayashi)
1:16:28 - Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle (Mark Bickford, Liron Cohen, Robert Constable and Vincent Rahli)
Video Information
Views
212
Total views since publication
Likes
1
User likes and reactions
Duration
01:42:56
Video length
Published
Jan 27, 2021
Release date
Quality
hd
Video definition