Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#9 Logic and Proof Theory

Anupam Das

May 28th 2021   |  57 min
0:00
0:00