Home / Series / Computerphile / Aired Order / Season 2017 / Episode 67

Propositions as Types

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

English
  • Originally Aired September 27, 2017
  • Runtime 18 minutes
  • Production Code SknxggwRPzU
  • Network YouTube
  • Created January 30, 2020 by
    Administrator admin
  • Modified January 30, 2020 by
    Administrator admin