| LC control no. | sh2001002954 |
|---|---|
| Topical heading | Curry-Howard isomorphism |
| Variant(s) | Correspondence, Curry-Howard Curry-Howard correspondence Formulae-as-types principle |
| See also | Isomorphisms (Mathematics) Logic, Symbolic and mathematical |
| Found in | 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.) LC database, Mar. 21, 2001 (Curry-Howard correspondence) |
| Not found in | CRC concise encyc. math.; Eisenreich. Mathematik; Encyc. dict. math.; Encyc. math.; Math. subj. classif. |
 |  |  |