Last Episodes
#46 Realizability, BHK, CPS Translation, Dialectica
Pierre-Marie Pédrot
#45 What is Type Theory and What Properties we Should Care About
Pierre-Marie Pédrot
All Episodes
Mario Carneiro
Nov 6th 2024 | 134 min
Patrick and Eric
Sep 13th 2024 | 62 min
Fabrizio Montesi
Aug 29th 2024 | 113 min
Satnam Singh
Aug 15th 2024 | 101 min
Joe Kiniry
Jul 15th 2024 | 69 min
David Christiansen
Jun 13th 2024 | 110 min
David Christiansen
May 16th 2024 | 116 min
Guannan Wei
Mar 11th 2024 | 113 min
Pedro Abreu
Dec 26th 2023 | 110 min
Eduardo Rafael
Dec 4th 2023 | 81 min
Andrew Marmaduke
Oct 16th 2023 | 88 min
Leo de Moura
Sep 9th 2023 | 125 min
Jan de Muijnck-Hughes
Jul 22nd 2023 | 101 min
Jan de Muijnck-Hughes
Jul 13th 2023 | 130 min
Dan and Pedro
May 30th 2023 | 105 min
Jimmy Koppel
Apr 9th 2023 | 84 min
Pruvendo
Feb 15th 2023 | 71 min
Gerwin Klein
Feb 4th 2023 | 119 min
Kevin Buzzard
Jan 16th 2023 | 136 min
Formal Land
Nov 21st 2022 | 62 min
Lawrence Paulson
Oct 6th 2022 | 98 min
Jens Palsberg and Jonathan Aldrich
Sep 24th 2022 | 72 min
Cody Roux
Aug 12th 2022 | 139 min
Conal Elliott
Aug 4th 2022 | 187 min
Dan R. Ghica
Jun 28th 2022 | 97 min
Patrick and Supun
Jun 4th 2022 | 112 min
Cody Roux
May 19th 2022 | 170 min
Conal Elliott
May 9th 2022 | 213 min
Jesper Cockx
Apr 2nd 2022 | 96 min
Nitin and Eric
Mar 27th 2022 | 78 min
Nitin and Eric
Feb 12th 2022 | 57 min
John Wiegley
Dec 23rd 2021 | 100 min
Talia Ringer
Nov 10th 2021 | 66 min
Alejandro Serrano
Oct 4th 2021 | 67 min
Thorsten Altenkirch and Anupam Das
Jul 15th 2021 | 77 min
Anupam Das
May 28th 2021 | 57 min
Chris Jenkins
May 11th 2021 | 66 min
Dan Matichuk
Apr 16th 2021 | 81 min
Zeina Migeed
Mar 29th 2021 | 39 min
Yves Bertot
Feb 27th 2021 | 72 min
Eric Bond
Feb 15th 2021 | 74 min
Dan Zheng
Feb 1st 2021 | 68 min
Rajan Walia and John Sarracino
Jan 10th 2021 | 77 min
Prof. Ben Delaware
Dec 23rd 2020 | 58 min
Pedro Abreu
Dec 14th 2020 | 32 min