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