Тёмный
jacobneu
jacobneu
jacobneu
Подписаться
Noughts & Crosses: Computing with Product Types [Intro to HoTT, No. 5, Part 3]
31:49
Noughts & Crosses: Computing with Product Types [Intro to HoTT, No. 5, Part 3]
3 месяца назад
Noughts & Crosses: Understanding Beta & Eta [Intro to HoTT, No. 5, Part 2]
13:44
Noughts & Crosses: Understanding Beta & Eta [Intro to HoTT, No. 5, Part 2]
9 месяцев назад
Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]
8:09
Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]
Год назад
Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]
14:52
Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]
Год назад
Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]
16:00
Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]
Год назад
Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]
17:50
Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]
Год назад
Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]
19:57
Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]
2 года назад
Booleans in HoTT: Boolean Combinators [Intro to HoTT, No. 3, Part 0]
20:27
Booleans in HoTT: Boolean Combinators [Intro to HoTT, No. 3, Part 0]
2 года назад
Formalities & Informalities: Not-So-Casual Friday [Intro to HoTT, No. 2, Part 3]
7:54
Formalities & Informalities: Not-So-Casual Friday [Intro to HoTT, No. 2, Part 3]
2 года назад
Formalities & Informalities: Judgmental Equality [Intro to HoTT, No. 2, Part 2]
7:07
Formalities & Informalities: Judgmental Equality [Intro to HoTT, No. 2, Part 2]
2 года назад
Formalities & Informalities: Declare-It-Yourself [Intro to HoTT, No. 2, Part 1]
14:55
Formalities & Informalities: Declare-It-Yourself [Intro to HoTT, No. 2, Part 1]
2 года назад
Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]
8:27
Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]
2 года назад
Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]
24:11
Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]
2 года назад
Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]
11:54
Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]
2 года назад
Three for One: Programming Interpretation [Intro to HoTT, No. 1, Part 1]
8:36
Three for One: Programming Interpretation [Intro to HoTT, No. 1, Part 1]
2 года назад
Three for One: Intro [Intro to HoTT, No. 1, Part 0]
6:55
Three for One: Intro [Intro to HoTT, No. 1, Part 0]
2 года назад
Was soll HoTT? [Intro to HoTT, No. 0]
25:48
Was soll HoTT? [Intro to HoTT, No. 0]
2 года назад
[Categories] Theory of the Category of Sets: Sets and Functions
17:46
[Categories] Theory of the Category of Sets: Sets and Functions
3 года назад
[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and Types
30:58
[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and Types
3 года назад
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
20:17
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
3 года назад
Комментарии