Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Curry-Howard_isomorphism> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Curry-Howard_isomorphism wikiPageID "929861".
- Curry-Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_isomorphism wikiPageRevisionID "263399910".
- Curry-Howard_isomorphism label "Curry-Howard isomorphism".
- Curry-Howard_isomorphism sameAs m.01lqbf.
- Curry-Howard_isomorphism wasDerivedFrom Curry-Howard_isomorphism?oldid=263399910.
- Curry-Howard_isomorphism isPrimaryTopicOf Curry-Howard_isomorphism.