Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Logical_framework> }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Framework wikiPageDisambiguates Logical_framework.
- Lf wikiPageDisambiguates Logical_framework.
- Edinburgh_Logical_Framework wikiPageRedirects Logical_framework.
- LF_(logical_framework) wikiPageRedirects Logical_framework.
- Automath wikiPageWikiLink Logical_framework.
- Dependent_type wikiPageWikiLink Logical_framework.
- Edinburgh_Logical_Framework wikiPageWikiLink Logical_framework.
- Framework wikiPageWikiLink Logical_framework.
- Frank_Pfenning wikiPageWikiLink Logical_framework.
- Grammatical_Framework wikiPageWikiLink Logical_framework.
- Higher-order_abstract_syntax wikiPageWikiLink Logical_framework.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Logical_framework.
- LEGO_(proof_assistant) wikiPageWikiLink Logical_framework.
- LF_(logical_framework) wikiPageWikiLink Logical_framework.
- Lambda_cube wikiPageWikiLink Logical_framework.
- Lf wikiPageWikiLink Logical_framework.
- List_of_mathematical_logic_topics wikiPageWikiLink Logical_framework.
- Metamath wikiPageWikiLink Logical_framework.
- Natural_deduction wikiPageWikiLink Logical_framework.
- Parity_of_zero wikiPageWikiLink Logical_framework.
- Per_Martin-Löf wikiPageWikiLink Logical_framework.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Logical_framework.
- Simply_typed_lambda_calculus wikiPageWikiLink Logical_framework.
- Third-generation_balanced_scorecard wikiPageWikiLink Logical_framework.
- Twelf wikiPageWikiLink Logical_framework.
- Type_theory wikiPageWikiLink Logical_framework.
- Typed_lambda_calculus wikiPageWikiLink Logical_framework.
- books?vid=ISBN978-0-19-853859-2 isCitedBy Logical_framework.
- books?vid=ISBN978-0-444-50853-9 isCitedBy Logical_framework.
- books?vid=ISBN978-1-4020-0608-1 isCitedBy Logical_framework.
- books?vid=ISBN978-3-642-03152-6 isCitedBy Logical_framework.
- Logical_framework primaryTopic Logical_framework.