Hakuluettelo:
Käännös:
Curry-Howard correspondence (suomeksi)
- Määritelmät:
- A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive logic, 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).
Viimeisimmät haut: Curry-Howard correspondence, Beveren, cadmoselite, Ocellated Tapaculo, lohdutatte, velociraptors