Type Theory Forall
Type Theory much beyond inference rules
Episodes
About
Toggle theme
Toggle theme
#9 Logic and Proof Theory
Anupam Das
Apr 11th 2024 |
57 min
Show video
0
:
00
0
:
00
Sponsors
mp3-RSS-Feed
Support me on Ko-fi
Support me
