Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Curry-Howard_isomorphism> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Curry-Howard_isomorphism wikiPageID "929861".
- Curry-Howard_isomorphism wikiPageLength "41".
- Curry-Howard_isomorphism wikiPageOutDegree "1".
- Curry-Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_isomorphism wikiPageRevisionID "263399910".
- Curry-Howard_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_isomorphism wikiPageWikiLinkText "Curry-Howard isomorphism".
- Curry-Howard_isomorphism label "Curry-Howard isomorphism".
- Curry-Howard_isomorphism wasDerivedFrom Curry-Howard_isomorphism?oldid=263399910.
- Curry-Howard_isomorphism isPrimaryTopicOf Curry-Howard_isomorphism.