URI(s)
- http://id.loc.gov/authorities/subjects/sh2001002954
- http://id.loc.gov/authorities/sh2001002954#concept
Variants
- Correspondence, Curry-Howard
- Curry-Howard correspondence
- Formulae-as-types principle
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
- found: Work cat.: 99176546: The Curry-Howard isomorphism, 1995:pref. (also known as the formulae-as-types principle, originates in the analogy between typed [lambda]-calculi and natural deduction systems: types may be interpreted as propositions, [lambda]-terms as proofs, etc.)
- found: LC database, Mar. 21, 2001(Curry-Howard correspondence)
- notfound: CRC concise encyc. math.;Eisenreich. Mathematik;Encyc. dict. math.;Encyc. math.;Math. subj. classif.
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2001-03-21: new
- 2001-04-24: revised
Alternate Formats
