CSL 2021 Session 6 Highlights 🧠
Explore domain theory in constructive foundations and Church’s Thesis in this CSL 2021 session.
Computer Science Logic 2021
212 views • Jan 27, 2021
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)
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
Likes
1
Duration
01:42:56
Published
Jan 27, 2021
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now