Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q975734> ?p ?o }
- Q975734 subject Q7451631.
- Q975734 subject Q7452060.
- Q975734 subject Q7464734.
- Q975734 subject Q8136354.
- Q975734 subject Q8149244.
- Q975734 subject Q8156089.
- Q975734 subject Q8362290.
- Q975734 subject Q8374213.
- Q975734 abstract "In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation) is the direct relationship between computer programs and mathematical proofs. It is a generalization of a syntactic analogy between systems of formal logic and computational calculi that was first discovered by the American mathematician Haskell Curry and logician William Alvin Howard. It is the link between logic and computation that is usually attributed to Curry and Howard, although the idea is related to the operational interpretation of intuitionistic logic given in various formulations by L. E. J. Brouwer, Arend Heyting and Andrey Kolmogorov (see Brouwer–Heyting–Kolmogorov interpretation) and Stephen Kleene (see Realizability). The relationship has been extended to include category theory as the three-way Curry–Howard–Lambek correspondence.".
- Q975734 thumbnail Coq_plus_comm_screenshot.jpg?width=300.
- Q975734 wikiPageExternalLink TMR-Issue6.pdf.
- Q975734 wikiPageExternalLink 597627.pdf.
- Q975734 wikiPageExternalLink 693.
- Q975734 wikiPageExternalLink howard-on-curry-howard.html.
- Q975734 wikiPageExternalLink TTFP.
- Q975734 wikiPageExternalLink Proofs+Types.html.
- Q975734 wikiPageExternalLink gecco08.pdf.
- Q975734 wikiPageExternalLink 978-0-7923-5687-5.
- Q975734 wikiPageExternalLink 27nk266126k817gq.
- Q975734 wikiPageExternalLink curryhoward.
- Q975734 wikiPageExternalLink 8215.html.
- Q975734 wikiPageExternalLink abstract?CRETRY=1&SRETRY=0.
- Q975734 wikiPageWikiLink Q1029256.
- Q975734 wikiPageWikiLink Q1056428.
- Q975734 wikiPageWikiLink Q1062242.
- Q975734 wikiPageWikiLink Q1078285.
- Q975734 wikiPageWikiLink Q10879018.
- Q975734 wikiPageWikiLink Q1128903.
- Q975734 wikiPageWikiLink Q1131652.
- Q975734 wikiPageWikiLink Q1144925.
- Q975734 wikiPageWikiLink Q11538.
- Q975734 wikiPageWikiLink Q1182249.
- Q975734 wikiPageWikiLink Q12482.
- Q975734 wikiPageWikiLink Q126695.
- Q975734 wikiPageWikiLink Q1307872.
- Q975734 wikiPageWikiLink Q1322511.
- Q975734 wikiPageWikiLink Q1481571.
- Q975734 wikiPageWikiLink Q153224.
- Q975734 wikiPageWikiLink Q15439057.
- Q975734 wikiPageWikiLink Q155887.
- Q975734 wikiPageWikiLink Q1572108.
- Q975734 wikiPageWikiLink Q1579914.
- Q975734 wikiPageWikiLink Q163310.
- Q975734 wikiPageWikiLink Q1644136.
- Q975734 wikiPageWikiLink Q1651704.
- Q975734 wikiPageWikiLink Q170790.
- Q975734 wikiPageWikiLink Q17146827.
- Q975734 wikiPageWikiLink Q1725874.
- Q975734 wikiPageWikiLink Q176630.
- Q975734 wikiPageWikiLink Q176786.
- Q975734 wikiPageWikiLink Q176916.
- Q975734 wikiPageWikiLink Q1771121.
- Q975734 wikiPageWikiLink Q179692.
- Q975734 wikiPageWikiLink Q18350141.
- Q975734 wikiPageWikiLink Q18376327.
- Q975734 wikiPageWikiLink Q185816.
- Q975734 wikiPageWikiLink Q190087.
- Q975734 wikiPageWikiLink Q191081.
- Q975734 wikiPageWikiLink Q193076.
- Q975734 wikiPageWikiLink Q197970.
- Q975734 wikiPageWikiLink Q2067227.
- Q975734 wikiPageWikiLink Q2076913.
- Q975734 wikiPageWikiLink Q209555.
- Q975734 wikiPageWikiLink Q210841.
- Q975734 wikiPageWikiLink Q2112919.
- Q975734 wikiPageWikiLink Q217413.
- Q975734 wikiPageWikiLink Q217595.
- Q975734 wikiPageWikiLink Q236975.
- Q975734 wikiPageWikiLink Q2387196.
- Q975734 wikiPageWikiLink Q242028.
- Q975734 wikiPageWikiLink Q2524691.
- Q975734 wikiPageWikiLink Q2546666.
- Q975734 wikiPageWikiLink Q2552799.
- Q975734 wikiPageWikiLink Q2577855.
- Q975734 wikiPageWikiLink Q2607208.
- Q975734 wikiPageWikiLink Q264164.
- Q975734 wikiPageWikiLink Q2651576.
- Q975734 wikiPageWikiLink Q2670534.
- Q975734 wikiPageWikiLink Q275603.
- Q975734 wikiPageWikiLink Q2872609.
- Q975734 wikiPageWikiLink Q2881121.
- Q975734 wikiPageWikiLink Q3011853.
- Q975734 wikiPageWikiLink Q3153567.
- Q975734 wikiPageWikiLink Q3217176.
- Q975734 wikiPageWikiLink Q33198.
- Q975734 wikiPageWikiLink Q335148.
- Q975734 wikiPageWikiLink Q3454417.
- Q975734 wikiPageWikiLink Q3457091.
- Q975734 wikiPageWikiLink Q3524190.
- Q975734 wikiPageWikiLink Q3546108.
- Q975734 wikiPageWikiLink Q360812.
- Q975734 wikiPageWikiLink Q374182.
- Q975734 wikiPageWikiLink Q3791503.
- Q975734 wikiPageWikiLink Q3890222.
- Q975734 wikiPageWikiLink Q40056.
- Q975734 wikiPageWikiLink Q41390.
- Q975734 wikiPageWikiLink Q41719.
- Q975734 wikiPageWikiLink Q4457945.
- Q975734 wikiPageWikiLink Q4781618.
- Q975734 wikiPageWikiLink Q5018901.