Mircea Dan Hernest

Publications

• Selected publications
• Modal Functional (Dialectica) Interpretation

  D. Hernest, & T. Trifonov. (2021)

  Logical Methods in Computer Science, 17(4), 3.
• 2021
• Modal Functional (Dialectica) Interpretation

  D. Hernest, & T. Trifonov. (2021)

  Logical Methods in Computer Science, 17(4), 3.
• 2010
• Light Dialectica revisited

  M. - D. Hernest, & T. Trifonov. (2010)

  Annals of Pure and Applied Logic, 161(11), 1379–1389.
• 2009
• Light monotone Dialectica methods for proof mining

  M. - D. Hernest. (2009)

  MLQ, 55(5), 551–561.
• 2008
• Hybrid Functional Interpretations

  M. - D. Hernest, & P. Oliva. (2008)

  (A. Beckmann, C. Dimitracopoulos, & B. Löwe, Eds.) Logic and Theory of Algorithms (Vol. 5028, p. 251–260)Berlin, Heidelberg: Springer Berlin Heidelberg.
• 2007
• Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog

  M. - D. Hernest. (2007)

  Electronic Notes in Theoretical Computer Science, 174(5), 141–149.
• Light Dialectica Program Extraction from a Classical Fibonacci Proof

  M. - D. Hernest. (2007)

  Electronic Notes in Theoretical Computer Science, 171(3), 43–53.
• 2005
• A complexity analysis of functional interpretations

  M. - D. Hernest, & U. Kohlenbach. (2005)

  Theoretical Computer Science, 338(1-3), 200–246.
• Light Functional Interpretation

  M. - D. Hernest. (2005)

  (L. Ong, Eds.) Computer Science Logic (Vol. 3634, p. 477–492)Berlin, Heidelberg: Springer Berlin Heidelberg.
• 2003
• A Complexity Analysis of Functional Interpretations

  M. - D. Hernest, & U. Kohlenbach. (2003)

  BRICS Report Series, 10(12).