Cast List: #9 Logic and Proof Theory - Anupam Das

#9 Logic and Proof Theory - Anupam Das

Type Theory Forall

Episode: #9 Logic and Proof Theory - Anupam Das
Website: Type Theory Forall
Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
Duration: 00:57:20
Published: 2021-05-28 12:30

Next Episodes

#9 Logic and Proof Theory - Anupam Das @ Type Theory Forall

📆 2021-05-28 11:30 / ⌛ 00:57:20

#8 Cedille - Chris Jenkins @ Type Theory Forall

📆 2021-05-11 04:30 / ⌛ 01:05:42

#8 Cedille - Chris Jenkins @ Type Theory Forall

📆 2021-05-11 04:30 / ⌛ 01:05:42

#8 Cedille - Chris Jenkins @ Type Theory Forall

📆 2021-05-11 04:30 / ⌛ 01:05:42

#7 Hacking Isabelle's Internals - Daniel Matichuk @ Type Theory Forall

📆 2021-04-16 04:15 / ⌛ 01:20:52