Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Church-Howard Correspondence

This correspondence establishes an equivalence between computable functions and lambda calculus terms, a cornerstone of type theory.