Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#18 Gödel's Incompleteness Theorems

Cody Roux

May 19th 2022   |  170 min
0:00
0:00