Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Curry-Howard_correspondence> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Curry-Howard_correspondence wikiPageID "21045245".
- Curry-Howard_correspondence wikiPageLength "65".
- Curry-Howard_correspondence wikiPageOutDegree "1".
- Curry-Howard_correspondence wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_correspondence wikiPageRevisionID "342516540".
- Curry-Howard_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_correspondence wikiPageWikiLinkText "Curry-Howard correspondence".
- Curry-Howard_correspondence wikiPageWikiLinkText "Curry-Howard-Lambek correspondence".
- Curry-Howard_correspondence wikiPageWikiLinkText "Haskell-Curry-William-Howard correspondence".
- Curry-Howard_correspondence wikiPageUsesTemplate Template:R_from_modification.
- Curry-Howard_correspondence label "Curry-Howard correspondence".
- Curry-Howard_correspondence wasDerivedFrom Curry-Howard_correspondence?oldid=342516540.
- Curry-Howard_correspondence isPrimaryTopicOf Curry-Howard_correspondence.