{"id":"S2001002954","label":"Curry-Howard isomorphism","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh2001002954","normalized_label":"curry-howard isomorphism","broader":["http://id.loc.gov/authorities/subjects/sh85068654","http://id.loc.gov/authorities/subjects/sh85078115"],"aliases":["Correspondence, Curry-Howard","Curry-Howard correspondence","Formulae-as-types principle"],"source_identifier":"http://id.loc.gov/authorities/subjects/sh2001002954","provider":"lcsh","revision":"2f7d2aba3a67c723","taxonomy_revision":"f050b5d4780b1289","title":"Curry-Howard isomorphism","url":"/topics/S2001002954","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"37295736706180678","address_version":"morton4x16-v1","coordinates":[0,477,4999,10240],"answer_status":"Directory metadata; local answer requires separate source review","truth_status":"Subject descriptor, not a factual answer or a demonstrated knowledge gap","reviewed_answer":null}