Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137535762> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3137535762 abstract "Beloved Curry--Howard correspondence tells that types are intuitionistic propositions, and in constructive math, a proof of proposition can be seen as some kind of a construction, or witness, conveying the information of the proposition. We demonstrate how useful this point of view is as the guiding principle for developing dependently-typed programs." @default.
- W3137535762 created "2021-03-29" @default.
- W3137535762 creator A5003533424 @default.
- W3137535762 date "2021-03-22" @default.
- W3137535762 modified "2023-09-27" @default.
- W3137535762 title "Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness." @default.
- W3137535762 cites W1999260700 @default.
- W3137535762 cites W2028880435 @default.
- W3137535762 cites W2112474400 @default.
- W3137535762 cites W2156285626 @default.
- W3137535762 cites W2186501980 @default.
- W3137535762 cites W2891165052 @default.
- W3137535762 cites W2891436053 @default.
- W3137535762 hasPublicationYear "2021" @default.
- W3137535762 type Work @default.
- W3137535762 sameAs 3137535762 @default.
- W3137535762 citedByCount "0" @default.
- W3137535762 crossrefType "posted-content" @default.
- W3137535762 hasAuthorship W3137535762A5003533424 @default.
- W3137535762 hasConcept C111472728 @default.
- W3137535762 hasConcept C138885662 @default.
- W3137535762 hasConcept C199360897 @default.
- W3137535762 hasConcept C2524010 @default.
- W3137535762 hasConcept C2776900844 @default.
- W3137535762 hasConcept C2777152325 @default.
- W3137535762 hasConcept C2778701210 @default.
- W3137535762 hasConcept C2781029818 @default.
- W3137535762 hasConcept C28719098 @default.
- W3137535762 hasConcept C33923547 @default.
- W3137535762 hasConcept C41008148 @default.
- W3137535762 hasConcept C98045186 @default.
- W3137535762 hasConceptScore W3137535762C111472728 @default.
- W3137535762 hasConceptScore W3137535762C138885662 @default.
- W3137535762 hasConceptScore W3137535762C199360897 @default.
- W3137535762 hasConceptScore W3137535762C2524010 @default.
- W3137535762 hasConceptScore W3137535762C2776900844 @default.
- W3137535762 hasConceptScore W3137535762C2777152325 @default.
- W3137535762 hasConceptScore W3137535762C2778701210 @default.
- W3137535762 hasConceptScore W3137535762C2781029818 @default.
- W3137535762 hasConceptScore W3137535762C28719098 @default.
- W3137535762 hasConceptScore W3137535762C33923547 @default.
- W3137535762 hasConceptScore W3137535762C41008148 @default.
- W3137535762 hasConceptScore W3137535762C98045186 @default.
- W3137535762 hasLocation W31375357621 @default.
- W3137535762 hasOpenAccess W3137535762 @default.
- W3137535762 hasPrimaryLocation W31375357621 @default.
- W3137535762 hasRelatedWork W113648773 @default.
- W3137535762 hasRelatedWork W135892170 @default.
- W3137535762 hasRelatedWork W1594118110 @default.
- W3137535762 hasRelatedWork W197983291 @default.
- W3137535762 hasRelatedWork W2068595239 @default.
- W3137535762 hasRelatedWork W2084080545 @default.
- W3137535762 hasRelatedWork W2108063065 @default.
- W3137535762 hasRelatedWork W2125151981 @default.
- W3137535762 hasRelatedWork W2213082102 @default.
- W3137535762 hasRelatedWork W2220288254 @default.
- W3137535762 hasRelatedWork W2366562657 @default.
- W3137535762 hasRelatedWork W2492827054 @default.
- W3137535762 hasRelatedWork W2554536894 @default.
- W3137535762 hasRelatedWork W2586082959 @default.
- W3137535762 hasRelatedWork W2734959530 @default.
- W3137535762 hasRelatedWork W2942193527 @default.
- W3137535762 hasRelatedWork W3033444683 @default.
- W3137535762 hasRelatedWork W3034706935 @default.
- W3137535762 hasRelatedWork W3110735311 @default.
- W3137535762 hasRelatedWork W3121151507 @default.
- W3137535762 isParatext "false" @default.
- W3137535762 isRetracted "false" @default.
- W3137535762 magId "3137535762" @default.
- W3137535762 workType "article" @default.