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