Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Dialectica_interpretation> }
Showing triples 1 to 18 of
18
with 100 triples per page.
- Dialectica_translation wikiPageRedirects Dialectica_interpretation.
- Gödel_System_T wikiPageRedirects Dialectica_interpretation.
- Gödel_system_T wikiPageRedirects Dialectica_interpretation.
- Curry–Howard_correspondence wikiPageWikiLink Dialectica_interpretation.
- Dialectica wikiPageWikiLink Dialectica_interpretation.
- Dialectica_space wikiPageWikiLink Dialectica_interpretation.
- Dialectica_translation wikiPageWikiLink Dialectica_interpretation.
- Double-negation_translation wikiPageWikiLink Dialectica_interpretation.
- Gödel_System_T wikiPageWikiLink Dialectica_interpretation.
- Gödel_system_T wikiPageWikiLink Dialectica_interpretation.
- History_of_logic wikiPageWikiLink Dialectica_interpretation.
- Primitive_recursive_functional wikiPageWikiLink Dialectica_interpretation.
- Realizability wikiPageWikiLink Dialectica_interpretation.
- Second-order_arithmetic wikiPageWikiLink Dialectica_interpretation.
- Simply_typed_lambda_calculus wikiPageWikiLink Dialectica_interpretation.
- System_T wikiPageWikiLink Dialectica_interpretation.
- Typed_lambda_calculus wikiPageWikiLink Dialectica_interpretation.
- Dialectica_interpretation primaryTopic Dialectica_interpretation.