Media Summary: In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start ... I'm not crazy right so i will only write this if i know that i have a Frank Fu, Kohei Kishida, and Peter Selinger. Talk given at the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ...
Hott Lecture 1 Dependent Types - Detailed Analysis & Overview
In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start ... I'm not crazy right so i will only write this if i know that i have a Frank Fu, Kohei Kishida, and Peter Selinger. Talk given at the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ...
![[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and Types](https://i.ytimg.com/vi/9cR2Day-4Bk/mqdefault.jpg)
