ComputerphilePropositions as Types

2017 • A67 27 sep. 2017 18m

Lägg till program på Bevakningslista

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory

Where to Watch Computerphile - 2017 • A67

Get Plex on Your Devices

Free on 20+ platforms. Pick yours.

App StoreiOS & Apple TV

Google PlayAndroid

TVFire TV, Roku & more

See all supported devices →