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