Controlling program extraction in Elementary Linear Logic - Marc Lasson (CoRR, 2010)

Realizability and Parametricity in Pure Type Systems. - Jean-Philippe Bernardy; Marc Lasson (FoSSaCS, 2011)

Controlling Program Extraction in Light Logics. - Marc Lasson (TLCA, 2011)

Parametricity in an Impredicative Sort. - Chantal Keller; Marc Lasson (CSL, 2012)

The Refined Calculus of Inductive Construction: Parametricity and Abstraction - Chantal Keller; Marc Lasson (CoRR, 2012)

Réalisabilité et paramétricité dans les systèmes de types purs. (Realizability and parametricity in Pure Type Systems). - Marc Lasson (2012)

Measuring the Words: Digital Approach to the Official Correspondence of Machiavelli. - Marc Lasson; Corinne Manchio (AIUCD, 2014)

Strategies as Concurrent Processes. - Simon Castellan; Jonathan Hayman; Marc Lasson; Glynn Winskel (MFPS, 2014)

Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. - Marc Lasson (MFPS, 2014)

Méthodes computationnelles et analyse d'une langue de chancellerie : le logiciel d'analyse textuelle Machiato et la correspondance diplomatique et administrative de Machiavel. - Corinne Manchio; Marc Lasson (DH, 2016)