From Wikidata
Jump to: navigation, search

Curry–Howard correspondence (Q975734) [edit]

the direct relationship between computer programs and mathematical proofs [edit]

Also known as:
  • Curry-Howard isomorphism
  • Formulae-as-types correspondence
  • Propositions as types principle
  • Curry–Howard isomorphism
  • Curry–Howard
  • Curry-Howard
  • Curry-Howard correspondence
  • Curry-Howard equivalence
  • Curry–Howard equivalence
  • Propositions-as-types
  • Formulae-as-types
  • Programs-as-proofs
  • Proofs-as-programs
  • Proofs-as-programs interpretation
  • Propositions-as-types interpretation


0 references
0 references
1 reference
Language Code Linked page
català cawiki
Deutsch dewiki
English enwiki
français frwiki
日本語 jawiki
polski plwiki
português ptwiki
русский ruwiki
中文 zhwiki