Definitions from Wiktionary (Curry-Howard correspondence)
▸ noun: A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
▸ Words similar to curry-howard correspondence
▸ Usage examples for curry-howard correspondence
▸ Idioms related to curry-howard correspondence
▸ Wikipedia articles (New!)
▸ Words that often appear near curry-howard correspondence
▸ Rhymes of curry-howard correspondence
▸ Invented words related to curry-howard correspondence
▸ noun: A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
Similar:
Paris-Harrington theorem,
canonical formalism,
constructive logic,
correspondence,
Richardson's theorem,
hypercohomology,
thesis,
logic,
connex,
algorithmic number theory,
more...
▸ Words similar to curry-howard correspondence
▸ Usage examples for curry-howard correspondence
▸ Idioms related to curry-howard correspondence
▸ Wikipedia articles (New!)
▸ Words that often appear near curry-howard correspondence
▸ Rhymes of curry-howard correspondence
▸ Invented words related to curry-howard correspondence