#58 Constructivism and Computational Content - Andrej Bauer
About this episode
Andrej Bauer discusses the intersection of mathematics and computer science, focusing on Constructivism, Effect Handlers, and AI.
More episodes of Type Theory Forall
- #61 Zurihac Behind the Scenes - Farhad Mehta
- #60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan
- #59 Category Theory and Inclusivity - Valeria de Paiva
- #57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik
- #56 Property Based Testing and PL Grad School Applications - Francille Zhuang
- #55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber
Explore listener stats, chart rankings, contacts and more on the Type Theory Forall podcast page.