Mathieu Boespflug

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Wed May 22 17:43:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page