Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Propositions_as_types_principle> }
Showing triples 1 to 5 of
5
with 100 triples per page.
- Epigram_(programming_language) wikiPageWikiLink Propositions_as_types_principle.
- Homotopy_type_theory wikiPageWikiLink Propositions_as_types_principle.
- Intuitionistic_type_theory wikiPageWikiLink Propositions_as_types_principle.
- Logical_framework wikiPageWikiLink Propositions_as_types_principle.
- Propositions_as_types_principle primaryTopic Propositions_as_types_principle.