ComputerphilePropositions as Types

2017 • E67 27 sept. 2017 18min

Ajouter la série à la liste de visionnage

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

Où regarder Computerphile - 2017 • E67

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 →