Light Functional Interpretation. - Mircea-Dan Hernest (CSL, 2005)

A complexity analysis of functional interpretations. - Mircea-Dan Hernest; Ulrich Kohlenbach (Theor. Comput. Sci., 2005)

Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. - Mircea-Dan Hernest (LFMTP@FLoC, 2006)

Light Dialectica Program Extraction from a Classical Fibonacci Proof. - Mircea-Dan Hernest (DCM@ICALP, 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 (2006)

Hybrid Functional Interpretations. - Mircea-Dan Hernest; Paulo Oliva (CiE, 2008)

Light monotone Dialectica methods for proof mining. - Mircea-Dan Hernest (Math. Log. Q., 2009)

Light Dialectica revisited. - Mircea-Dan Hernest; Trifon Trifonov (Ann. Pure Appl. Log., 2010)

Modal functional interpretations - Mircea-Dan Hernest; Trifon Trifonov (CoRR, 2012)

Experiments with a PCCoder extension. - Mircea-Dan Hernest (CoRR, 2019)

Modal Functional (Dialectica) Interpretation. - Mircea-Dan Hernest; Trifon Trifonov (Log. Methods Comput. Sci., 2021)