Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#22 Impredicativity, LEM, Realizability and more - Cody Roux | Type Theory Forall | Podwise

Podcast Cover

12 Aug 2022

2h 19m

#22 Impredicativity, LEM, Realizability and more - Cody Roux

Type Theory Forall

Type Theory Forall - #22 Impredicativity, LEM, Realizability and more - Cody Roux

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval