the Curry-Howard Isomorphism

Backlinks

• Video Series: Category Theory
  • Curry-Howard isomorphism
• Cardinality can be used to express maths concepts
  • Each type has a cardinality. This allows us to express equations and ideas from maths using only types because of the Curry-Howard isomorphism.