Mircea-Dan Hernest

According to our database, Mircea-Dan Hernest authored at least 11 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Modal Functional (Dialectica) Interpretation.

Mircea-Dan Hernest, Trifon Trifonov

Log. Methods Comput. Sci., 2021

2019

Experiments with a PCCoder extension.

Mircea-Dan Hernest

CoRR, 2019

2012

Modal functional interpretations

Mircea-Dan Hernest, Trifon Trifonov

CoRR, 2012

2010

Light Dialectica revisited.

Mircea-Dan Hernest, Trifon Trifonov

Ann. Pure Appl. Log., 2010

2009

Light monotone Dialectica methods for proof mining.

Mircea-Dan Hernest

Math. Log. Q., 2009

2008

Hybrid Functional Interpretations.

Mircea-Dan Hernest, Paulo Oliva

Proceedings of the Logic and Theory of Algorithms, 2008

2006

More feasible programs from (non-constructive) proofs by the Light (Monotone) Dialectica interpretation. (Extraction de programmes plus efficaces à partir de preuves (non-constructives) par l'interprétation Dialectica Légère (Monotone)).

Mircea-Dan Hernest

PhD thesis, 2006

Light Dialectica Program Extraction from a Classical Fibonacci Proof.

Mircea-Dan Hernest

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog.

Mircea-Dan Hernest

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

2005

A complexity analysis of functional interpretations.

Mircea-Dan Hernest, Ulrich Kohlenbach

Theor. Comput. Sci., 2005

Light Functional Interpretation.

Mircea-Dan Hernest

Proceedings of the Computer Science Logic, 19th International Workshop, 2005