Non-Deterministic Automata - Computerphile
21:09
Non-Deterministic Automata - Computerphile
61K viewsMay 26, 2023
YouTubeComputerphile
Programming with Proofs - Computerphile
17:14
Programming with Proofs - Computerphile
78.9K viewsSep 3, 2021
YouTubeComputerphile
Coding Trees in Python - Computerphile
21:27
Coding Trees in Python - Computerphile
320.6K viewsMar 4, 2020
YouTubeComputerphile
Defining Regular Expressions (RegEx) - Computerphile
18:29
Defining Regular Expressions (RegEx) - Computerphile
91.7K viewsDec 13, 2023
YouTubeComputerphile
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
275.8K viewsJan 11, 2017
YouTubeComputerphile
Recursion 'Super Power' (in Python) - Computerphile
12:18
Recursion 'Super Power' (in Python) - Computerphile
503.5K viewsOct 1, 2019
YouTubeComputerphile
The Hardest Problem in Type Theory - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
138K viewsJul 30, 2021
YouTubeComputerphile
22:16
Python Regular Expressions - Computerphile
59.1K viewsJan 12, 2024
YouTubeComputerphile
5:16
Halting Problem in Python - Computerphile
167.2K viewsOct 8, 2019
YouTubeComputerphile
Thorsten's Inaugural lecture
3.1K viewsNov 21, 2019
YouTubeThorsten Altenkirch
9:50
Quantum Computing 'Magic' - Computerphile
302.2K viewsNov 11, 2016
YouTubeComputerphile
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
28.5K viewsApr 2, 2017
YouTubeFOMUS 2016
1:17:33
Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory
11.4K viewsMay 19, 2014
YouTubeInstitut Henri Poincaré
26:46
Thorsten Altenkirch — The reals as a higher coinductive type
56 views2 months ago
YouTubeTypes and Topology Workshop
18:37
Eliminating Run-Time Errors with Agda - Computerphile
68.1K viewsAug 20, 2021
YouTubeComputerphile
9:27
Automata & Python - Computerphile
109.9K viewsMar 16, 2023
YouTubeComputerphile
59:32
Thorsten Altenkirch - 2/2 Towards a Syntax for Cubical Type Theory
2.3K viewsMay 19, 2014
YouTubeInstitut Henri Poincaré
53:06
Introductory Lectures on Type Theory (1 : Functions)
10.4K viewsMay 3, 2021
YouTubeThorsten Altenkirch
26:50
Thorsten Altenkirch – 定理证明，构造主义数学 & 类型论 | #01 aboutlogic
530 views3 months ago
bilibili筑桥者Hagi
18:55
Gödel's Incompleteness Theorem - Computerphile
97.9K views8 months ago
YouTubeComputerphile
17:46
Propositions as Types - Computerphile
103.6K viewsSep 27, 2017
YouTubeComputerphile
10:53
Python Sudoku Solver - Computerphile
1.2M viewsFeb 12, 2020
YouTubeComputerphile
13:31
Homotopy Type Theory Discussed - Computerphile
72.1K viewsOct 13, 2017
YouTubeComputerphile
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
64.3K viewsOct 6, 2017
YouTubeComputerphile
15:55
Computer Science ∩ Mathematics (Type Theory) - Computerphile
192 viewsFeb 26, 2019
Internet Archivenarabot
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
1.6K viewsJul 19, 2020
bilibiliPoincare
2:06:47
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
489 views11 months ago
YouTubeType Theory Forall
24:27
Formalising Inductive and Coinductive Containers | Stefania Damato
16 views5 months ago
YouTubeIcelandic Centre of Excellence in Theoretical CS
Thorsten Altenkirch - Alchetron, The Free Social Encyclopedia
May 19, 2014
alchetron.com
53:06
Introductory Lectures on Type Theory -Thorsten Altenkirch-MGS
344 viewsApr 23, 2023
bilibiliwirALOOF
See more