C

Curry-Howard correspondence

ConceptMentioned in 1 video

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.

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.