Curry-Howard correspondence

Concept

A fundamental result from the 1930s in computer science that shows the mathematical relationship between programs and proofs, influencing the design of Verse's type system.

Mentioned in 1 video

Videos Mentioning Curry-Howard correspondence

Tim Sweeney: Fortnite, Unreal Engine, and the Future of Gaming | Lex Fridman Podcast #467

Tim Sweeney: Fortnite, Unreal Engine, and the Future of Gaming | Lex Fridman Podcast #467

Lex Fridman

A fundamental result from the 1930s in computer science that shows the mathematical relationship between programs and proofs, influencing the design of Verse's type system.