Bra podd
Topplistor
Verkliga brott
Barn och familj
Fritid
Hälsa och motion
Historia
Komedi
Konst och kultur
Musik
Näringsliv
Nyheter och politik
Poddtoppen
Religion och spiritualitet
Samhälle och kultur
Skönlitteratur
Sport och fritid
Stat och kommun
Teknik
Tv och film
Utbildning
Vetenskap
Kategorier
Konst
(1576)
Religion och spiritualitet
(1542)
Utbildning
(1391)
Samhälle och kultur
(1330)
Fritid
(1149)
Musik
(1085)
Teknologi
(1088)
Vetenskap
(999)
TV och film
(977)
Nyheter
(919)
Historia
(872)
Hälsa och motion
(779)
Näringsliv
(788)
Barn och familj
(761)
Skönlitteratur
(721)
Kristendom
(593)
Komedi
(507)
Böcker
(516)
Verkliga brott
(438)
Sport
(454)
Andlighet
(423)
Självhjälp
(404)
Stat och kommun
(399)
Hobbies
(297)
Sällskapsspel
(295)
Drama
(285)
Mental hälsa
(276)
Musikkommentarer
(261)
Musikintervjuer
(250)
Spel
(243)
Föräldraskap
(242)
Politik
(230)
Dokumentär
(221)
Språkkurs
(215)
Samhällsvetenskap
(192)
Science fiction
(187)
Mat
(160)
Dans och teater
(159)
Islam
(158)
Tekniknyheter
(158)
Entreprenörskap
(157)
Filmrecensioner
(157)
Investering
(148)
TV-recensioner
(145)
Så gör man
(147)
Mode och skönhet
(138)
Musikhistoria
(139)
Visuell konst
(138)
Efterprogram
(133)
Personliga dagböcker
(133)
Relationer
(128)
Berättelser för barn
(131)
Naturvetenskap
(126)
Design
(124)
Nyhetskommentarer
(110)
Karriär
(97)
Hus och trädgård
(101)
Life Science
(99)
Natur
(99)
Filosofi
(98)
Filmhistoria
(96)
Kurser
(96)
Fotboll
(94)
Alternativ hälsa
(92)
Fordon
(88)
Medicin
(88)
Djur
(79)
Komedifiktion
(85)
Ledarskap
(84)
Utbildning för barn
(79)
Underhållningsnyheter
(71)
Religion
(70)
Affärsnyheter
(64)
Filmintervjuer
(64)
Dagliga nyheter
(62)
Komediintervjuer
(60)
Hantverk
(57)
Motion
(52)
Marknadsföring
(46)
Näringslära
(50)
Sportnyheter
(46)
Sexualitet
(39)
Buddhism
(41)
Judendom
(39)
Hockey
(38)
Geovetenskap
(36)
Fysik
(34)
Platser och resor
(33)
Ideell
(30)
Astronomi
(29)
Löpning
(27)
Amerikansk fotboll
(26)
Flyg
(24)
Vildmarken
(24)
Animering och manga
(22)
Improvisering
(21)
Golf
(10)
Hinduism
(14)
Matematik
(14)
Kemi
(12)
Basket
(9)
Tennis
(8)
Baseball
(3)
Ståupp
(7)
Fantasysporter
(5)
Brottning
(2)
Cricket
(2)
Rugby
Simning
Start
/
Type Theory Forall
/
9 logic and proof theory anupam das
Type Theory Forall
#9 Logic and Proof Theory - Anupam Das
57 min • 28 maj 2021
Spela avsnitt
Anupam Das
Spela avsnitt
Senaste avsnitt
Play
Pause
#52 Why is Haskell so special - Lennart Augustsson
10 juli | 91 min
Play
Pause
#51 s/Coq/Rocq - Nicolas Tabareau
4 juni | 102 min
Play
Pause
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
14 maj | 127 min
Play
Pause
#49 Self-Education in PL - Ryan Brewer
14 mars | 144 min
Play
Pause
#48 Bell Labs - David MacQueen
21 januari | 130 min
Play
Pause
#47 The History of LCF, ML and HOPE - David MacQueen
7 januari | 125 min
Play
Pause
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
29 november 2024 | 64 min
Play
Pause
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
24 november 2024 | 82 min
Play
Pause
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
6 november 2024 | 134 min
Play
Pause
#43 PL in the Industry and Summer Schools - Patrick and Eric
13 september 2024 | 62 min
Play
Pause
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
29 augusti 2024 | 113 min
Play
Pause
#41 The Value of PL (and) Education - Satnam Singh
15 augusti 2024 | 101 min
Play
Pause
#40 Secure Voting - Joe Kiniry
15 juli 2024 | 69 min
Play
Pause
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
13 juni 2024 | 110 min
Play
Pause
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
16 maj 2024 | 116 min
Play
Pause
#37 Compilers, Staging, Futamura Projections - Guannan Wei
11 mars 2024 | 113 min
Play
Pause
#36 Behind the Person Behind this Podcast - Pedro Abreu
26 december 2023 | 110 min
Play
Pause
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
4 december 2023 | 81 min
Play
Pause
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
16 oktober 2023 | 88 min
Play
Pause
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
9 september 2023 | 125 min
Play
Pause
#32 TyDe Systems - Jan de Muijnck-Hughes
22 juli 2023 | 101 min
Play
Pause
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
13 juli 2023 | 130 min
Play
Pause
#30 Actors, GADTs and Burnout - Dan and Pedro
30 maj 2023 | 105 min
Play
Pause
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
9 april 2023 | 84 min
Play
Pause
#28 Formally Verifying Smart Contracts - Pruvendo
15 februari 2023 | 71 min
Play
Pause
#27 Formalizing an OS: The seL4 - Gerwin Klein
4 februari 2023 | 119 min
Play
Pause
#26 Mechanizing Modern Mathematics - Kevin Buzzard
16 januari 2023 | 136 min
Play
Pause
#25 Formally Verifying the Tezos Codebase - Formal Land
21 november 2022 | 62 min
Play
Pause
#24 The History of Isabelle - Lawrence Paulson
6 oktober 2022 | 98 min
Play
Pause
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
24 september 2022 | 72 min
Play
Pause
#22 Impredicativity, LEM, Realizability and more - Cody Roux
12 augusti 2022 | 139 min
Play
Pause
#21 Denotational Design - Conal Elliott
4 augusti 2022 | 187 min
Play
Pause
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
28 juni 2022 | 97 min
Play
Pause
#19 Experience Report: Learning Coq - Patrick and Supun
4 juni 2022 | 112 min
Play
Pause
#18 Gödel's Incompleteness Theorems - Cody Roux
19 maj 2022 | 170 min
Play
Pause
#17 The Lost Elegance of Computation - Conal Elliott
9 maj 2022 | 213 min
Play
Pause
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
2 april 2022 | 96 min
Play
Pause
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
27 mars 2022 | 78 min
Play
Pause
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
12 februari 2022 | 57 min
Play
Pause
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
23 december 2021 | 100 min
Play
Pause
#12 Tenure, Sexism and ADHD - Talia Ringer
10 november 2021 | 66 min
Play
Pause
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
4 oktober 2021 | 67 min
Play
Pause
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
15 juli 2021 | 77 min
Play
Pause
#9 Logic and Proof Theory - Anupam Das
28 maj 2021 | 57 min
Play
Pause
#8 Cedille - Chris Jenkins
11 maj 2021 | 66 min
Play
Pause
#7 Hacking Isabelle's Internals - Dan Matichuk
16 april 2021 | 81 min
Play
Pause
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
29 mars 2021 | 39 min
Play
Pause
#5 The History of Coq'Art - Yves Bertot
27 februari 2021 | 72 min
Play
Pause
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
15 februari 2021 | 74 min
Play
Pause
#3 ML for PL and Mental Health - Dan Zheng
1 februari 2021 | 68 min
Play
Pause
#2 Grad School Life - Rajan Walia and John Sarracino
10 januari 2021 | 77 min
Play
Pause
#1 What is PL research? - Prof. Ben Delaware
23 december 2020 | 58 min
Play
Pause
#0 Cool Internships in PL - Pedro Abreu
14 december 2020 | 32 min
Ladda fler
Minimera
00:00
-00:00
15
Tillbaka 15 sekunder
Play
Pause
15
Framåt 15 sekunder
15
Tillbaka 15 sekunder
Play
Pause
15
Framåt 15 sekunder
Expandera spelare
Stäng spelare
00:00
-00:00