lvciszh

...

Curry-Howard isomorphism

Topic sh2001002954 · id.loc.gov

Used for

  • Correspondence, Curry-Howard
  • Curry-Howard correspondence
  • Formulae-as-types principle

Broader Terms (2)

Hierarchy

No peer terms