Nicolas Tabareau

Documents

Présentation

868945

	The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code Guilhem Jaber , Nicolas Tabareau Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada Communication dans un congrès hal-00594386v1
	Krivine realizability for compiler correctness Guilhem Jaber , Nicolas Tabareau Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom Communication dans un congrès hal-00475210v2