Curry-Howard correspondence Englisch

Bedeutung Curry-Howard correspondence Bedeutung

Was beudeutet auf Englisch Curry-Howard correspondence?

Curry-Howard correspondence properNoun

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

Suchen Sie vielleicht...?

Curry | Howard | correspondence