Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Dialectica_interpretation> }
Showing triples 1 to 25 of
25
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.pdf isCitedBy Dialectica_interpretation.
- UCAM-CL-TR-213.pdf isCitedBy Dialectica_interpretation.
- 17-04abs.html isCitedBy Dialectica_interpretation.
- 144b642f50dc0a8c6683bdec66dcb1e38e6c28091e066906862785241651583c isCitedBy Dialectica_interpretation.
- 7ade61d6d4ea117adb4a7bd8fd49d9c3050f6a938c8fdc3a27f2780e4cd4d12b isCitedBy Dialectica_interpretation.
- b927b5dc9b0f13d908eea991131610022db6adef9b9440366406f2355dad12bb isCitedBy Dialectica_interpretation.
- f9d529767fde61764fd5cd0250152a37a91930cb0aa9c187dd5348c4cb821a7a isCitedBy Dialectica_interpretation.
- Dialectica_interpretation primaryTopic Dialectica_interpretation.