Andrej Bauer — How to use excluded middle safely
29:10
Andrej Bauer — How to use excluded middle safely
273 views2 weeks ago
YouTubeTypes and Topology Workshop
#58 - Constructivism and Computation Content - Andrej Bauer
2:18:35
#58 - Constructivism and Computation Content - Andrej Bauer
2.3K views2 months ago
YouTubeType Theory Forall
Andrej Bauer: Every metric space is separable in function realizability
32:35
Andrej Bauer: Every metric space is separable in function realizability
397 viewsAug 16, 2018
YouTubeHausdorff Center for Mathematics
Heyting Day 2025 - Models of intuitionism and computability, lecture Andrej Bauer
1:12:00
Heyting Day 2025 - Models of intuitionism and computability, lec…
447 views11 months ago
YouTubeDe KNAW
【访谈】Andrej Bauer 博士谈证明助手，构造主义数学，哲学及其他
1:07:50
【访谈】Andrej Bauer 博士谈证明助手，构造主义数学，哲学及其他
324 viewsFeb 26, 2023
bilibili筑桥者Hagi
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
37:30
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
5.5K viewsFeb 13, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
【课程】Andrej Bauer - 形式化的数学与证明助手
1:35:52
【课程】Andrej Bauer - 形式化的数学与证明助手
663 viewsOct 9, 2024
bilibili筑桥者Hagi
1:14:04
Andrej Bauer and Peter LeFanu Lumsdaine: Toward an initiality th…
442 viewsJun 25, 2018
YouTubeHausdorff Center for Mathematics
57:32
Five Stages of Accepting Constructive Mathematics - Andre…
29.6K viewsAug 16, 2016
YouTubeInstitute for Advanced Study
50:59
Andrej Bauer - 构造主义数学：如何不相信排中律
2.8K viewsMay 22, 2024
bilibili筑桥者Hagi
1:02:00
Andrej Bauer: "The countable reals"
7.9K viewsMay 12, 2022
YouTubeTopos Institute
43:46
EPIT Spring School on HoTT: Andrej Bauer Part 1 (Dependent Type The…
2.7K viewsApr 12, 2021
YouTubeEPIT Spring School on Homotopy Type Theory
2:03:57
ISRM PPJ 2026 02 23 Ukazni programski jezik
8 views1 week ago
YouTubeAndrej Bauer
0:58
Первый раз в первый класс
10 viewsOct 12, 2012
mail.ruSvetlana- Andrej Bauer
3:54
вай класссссс
5 viewsJun 27, 2009
mail.ruSvetlana- Andrej Bauer
1:42:34
Andrej Bauer - Parameterized realizability
300 viewsJan 24, 2024
bilibili筑桥者Hagi
0:54
12. Januar 2026
1 month ago
YouTubeAndrej Bauer
1:02
13. Januar 2026
1 month ago
YouTubeAndrej Bauer
40:03
CLIP0082
6 viewsAug 13, 2012
mail.ruSvetlana- Andrej Bauer
0:07
Bissle Spät: Freeride Adventures mit Freunden
9.1K views4 months ago
TikTokleonard_bauer_
1:04:34
The dawn of formalized mathematics
2.3K viewsNov 18, 2021
YouTubeAndrej Bauer
0:17
В парке Фантазияланд
15 viewsOct 12, 2012
mail.ruSvetlana- Andrej Bauer
0:42
The making of HoTT book
9.5K viewsJun 20, 2013
VimeoAndrej Bauer
3:34
Зимний город Павлодар
26 viewsJun 9, 2009
mail.ruSvetlana- Andrej Bauer
0:31
Моя радость с нами на Юбилее
10 viewsOct 12, 2012
mail.ruSvetlana- Andrej Bauer
Fritz Bauer, un héros allemand
Mar 13, 2024
premiere.fr
1:02:01
Andrej Bauer - 可数实数集
174 viewsApr 2, 2023
bilibili筑桥者Hagi
1:24:13
What's Algebraic About Algebraic Effects and Handlers? [1/2] - Andr…
5.9K viewsAug 2, 2018
YouTubeOPLSS
3:31
Andrej Gubin - Plach Ljubovj
6 viewsDec 27, 2009
mail.ruIrena Huth
Fritz Bauer, un héros allemand
Jan 1, 2009
programme-tv.net
See more videos
Static thumbnail place holder