Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Programs-as-proofs> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Programs-as-proofs wikiPageID "32938430".
- Programs-as-proofs wikiPageLength "41".
- Programs-as-proofs wikiPageOutDegree "1".
- Programs-as-proofs wikiPageRedirects Curry–Howard_correspondence.
- Programs-as-proofs wikiPageRevisionID "447750609".
- Programs-as-proofs wikiPageWikiLink Curry–Howard_correspondence.
- Programs-as-proofs label "Programs-as-proofs".
- Programs-as-proofs wasDerivedFrom Programs-as-proofs?oldid=447750609.
- Programs-as-proofs isPrimaryTopicOf Programs-as-proofs.