Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q4085710 1975-01-01 Paper Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen 1974-01-01 Paper G-Hüllen...10 bytes (17 words) - 17:43, 9 December 2023
- 2012-05-07 Paper Light Dialectica revisited 2011-08-26 Paper Quasi-linear Dialectica Extraction 2010-07-29 Paper Dialectica Interpretation with Fine Computational...10 bytes (17 words) - 11:04, 6 October 2023
- Intuitionist type theory and the free topos 1980-01-01 Paper The „Dialectica”︁ Interpretation and Categories 1978-01-01 Paper...10 bytes (18 words) - 23:20, 10 December 2023
- of the exceptional algebras 1976-01-01 Paper Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen 1974-01-01 Paper...10 bytes (17 words) - 15:26, 7 December 2023
- Realizability interpretation of proofs in constructive analysis 2009-05-08 Paper Program Extraction in Constructive Analysis 2009-03-12 Paper Dialectica interpretation...10 bytes (17 words) - 17:43, 9 December 2023
- 2020-05-26 Paper Kleene algebra with hypotheses 2020-01-28 Paper A Dialectica-like interpretation of a linear MSO on infinite words 2020-01-28 Paper https://portal...10 bytes (16 words) - 01:44, 25 September 2023
- Monoidal-closed categories of tree automata 2020-03-11 Paper A Dialectica-like interpretation of a linear MSO on infinite words 2020-01-28 Paper https://portal...10 bytes (16 words) - 00:59, 25 September 2023
- de/entity/Q2871866 2014-01-10 Paper Light Dialectica Program Extraction from a Classical Fibonacci Proof 2013-12-06 Paper Light Dialectica revisited 2011-08-26 Paper...10 bytes (18 words) - 07:39, 7 October 2023
- org/10.1016/j.entcs.2006.10.050 zbMATH Keywords proof mining; light Dialectica interpretation; program extraction from proofs; complexity of extracted programs;...15 bytes (99 words) - 20:24, 3 February 2024
- date: 9 March 2011 zbMATH Keywords Dialectica interpretation; Diller-Nahm interpretation; functional interpretation of classical logic Mathematics Subject...15 bytes (31 words) - 22:47, 3 February 2024
- QIDQ3222839 Andrea Cantini Publication date: 1983 zbMATH Keywords Dialectica interpretation; Kripke-Platek set theory; axiom of infinity; ordinal analysis;...15 bytes (37 words) - 22:57, 3 February 2024
- date: 22 March 2001 zbMATH Keywords consistency; polynomials; Dialectica interpretation; indeterminates; infinite descent; Fermat arithmetic Mathematics...15 bytes (36 words) - 08:01, 7 February 2024
- Publication date: 1979 zbMATH Keywords functional interpretation; modified realizability; dialectica interpretation; conservative extension of Heyting's arithmetic...15 bytes (47 words) - 22:57, 3 February 2024
- zbMATH Keywords Dialectica interpretation; Heyting arithmetic; predicate logic; arithmetic hierarchy; constructive semantics; Gödel interpretation of arithmetic;...15 bytes (44 words) - 16:53, 6 February 2024
- Publication date: 9 May 2007 zbMATH Keywords majorization; bounded Dialectica interpretation; bounded modified realization Mathematics Subject Classification...15 bytes (45 words) - 20:25, 4 February 2024
- Keywords Lisp; Heyting Arithmetic; Program Synthesis; Goedel's Dialectica Interpretation; Heyting-Arithmetic; Primitive Recursive Functional; Quotient-Remainder-Theorem...15 bytes (48 words) - 14:03, 6 February 2024
- https://arxiv.org/abs/2109.08064 zbMATH Keywords categorical logic; dialectica interpretation; Markov and independence of premise principles Mathematics Subject...15 bytes (55 words) - 00:55, 2 February 2024
- https://arxiv.org/abs/2205.07093 zbMATH Keywords dialectica interpretation; hyperdoctrine; dialectica category; dialectica doctrine; Gödel doctrine; logical principles...15 bytes (63 words) - 11:56, 3 February 2024
- http://subs.emis.de/LIPIcs/frontdoor_d301.html zbMATH Keywords Dialectica interpretation; primitive recursion; finite choice; product of selection functions...15 bytes (63 words) - 21:12, 3 February 2024
- at URL: https://doi.org/10.1002/malq.200710045 zbMATH Keywords Dialectica interpretation; program extraction; Euclid's theorem Mathematics Subject Classification...15 bytes (63 words) - 23:58, 4 February 2024
