Mircea-Dan Hernest

	2008
5		Mircea-Dan Hernest, Paulo Oliva: Hybrid Functional Interpretations. CiE 2008: 251-260
	2007
4		Mircea-Dan Hernest: Light Dialectica Program Extraction from a Classical Fibonacci Proof. Electr. Notes Theor. Comput. Sci. 171(3): 43-53 (2007)
3		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		Mircea-Dan Hernest: Light Functional Interpretation. CSL 2005: 477-492
1		Mircea-Dan Hernest, Ulrich Kohlenbach: A complexity analysis of functional interpretations. Theor. Comput. Sci. 338(1-3): 200-246 (2005)

Coauthor Index

1	Ulrich Kohlenbach	[1]
2	Paulo Oliva	[5]