Curry–Howard correspondence love

Curry–Howard correspondence

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • 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).

Etymologies

Sorry, no etymologies found.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.