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 "1553206".
- Curry_Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry_Howard_isomorphism wikiPageRevisionID "263400253".
- Curry_Howard_isomorphism label "Curry Howard isomorphism".
- Curry_Howard_isomorphism sameAs m.01lqbf.
- Curry_Howard_isomorphism wasDerivedFrom Curry_Howard_isomorphism?oldid=263400253.
- Curry_Howard_isomorphism isPrimaryTopicOf Curry_Howard_isomorphism.