#9 Logic and Proof Theory - Anupam Das
Type Theory Forall
English - May 28, 2021 10:30 - 57 minutes - 51.4 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #8 Cedille - Chris Jenkins