Appendix of Modal Functional (Dialectica) Interpretation

Autor:	Dan Hernest, Trifon Trifonov
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	Kreisel implication extractive Proof Theory quantified modal logic automatic program synthesis code-carrying classical proofs Proof Mining
DOI:	10.5281/zenodo.5336750
Popis:	Our Minlog (http://minlog-system.de) variant and implementation of modal Dialectica (https://arxiv.org/pdf/1212.0020) may be found athttps://triffon.github.io/mlfd. This is the appendix of our Modal Functional Interpretation paper, as submitted tohttps://lmcs.episciences.org/
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7405135aeb6367194cf780c84bb99e5f Zobrazit plný text záznamu