Skip to content
Hallway
0:00 / 0:00

#curry-howardisomorphism#typetheory#propositionsastypes

Propositions as Types - Computerphile

Computerphile

2.6M subscribers • 70 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Thorsten Altenkirch, Professor at the University of Nottingham

Beginner. No background in the topic needed.

106K views9 years ago1 recommendation

Computer scienceProgramming languagesComputation and complexityFunctional programming

Thorsten Altenkirch explains the Curry-Howard isomorphism, showing how mathematical propositions can be represented as types in computer science.

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory Thanks to Lily the dog! facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.com

Why it's here

1 person recommends this

What people say. Recommended as an accessible introduction to the Curry-Howard isomorphism.

u/ptrptrpnpnin r/haskell • Recommends

Propositions as Types - Computerphile
53View on Reddit