Computerphile

Propositions as Types

2017 • E67    Sep 27, 2017    18m
Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory

Where to Watch Computerphile - 2017 • E67

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices