Mathieu Boespflug

	2011
4		Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire: Full Reduction at Full Throttle. CPP 2011: 362-377
3		Mathieu Boespflug, Brigitte Pientka: Multi-level Contextual Type Theory LFMTP 2011: 29-43
	2010
2		Mathieu Boespflug: Conversion by Evaluation. PADL 2010: 58-72
	2009
1		Mathieu Boespflug: From Self-Interpreters to Normalization by Evaluation CoRR abs/0911.4203: (2009)

Coauthor Index

1	Maxime Dénès	[4]
2	Benjamin Grégoire	[4]
3	Brigitte Pientka	[3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page