| |
| 2008 | ||
|---|---|---|
| 5 | EE | Mircea-Dan Hernest, Paulo Oliva: Hybrid Functional Interpretations. CiE 2008: 251-260 |
| 2007 | ||
| 4 | EE | Mircea-Dan Hernest: Light Dialectica Program Extraction from a Classical Fibonacci Proof. Electr. Notes Theor. Comput. Sci. 171(3): 43-53 (2007) |
| 3 | EE | Mircea-Dan Hernest: Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. Electr. Notes Theor. Comput. Sci. 174(5): 141-149 (2007) |
| 2005 | ||
| 2 | EE | Mircea-Dan Hernest: Light Functional Interpretation. CSL 2005: 477-492 |
| 1 | EE | Mircea-Dan Hernest, Ulrich Kohlenbach: A complexity analysis of functional interpretations. Theor. Comput. Sci. 338(1-3): 200-246 (2005) |
| 1 | Ulrich Kohlenbach | [1] |
| 2 | Paulo Oliva | [5] |