Marc Lasson

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Online Auctions

Optimization Strategies

Concurrent Processes

Top Venues

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Corinne Manchio, Marc Lasson
Méthodes computationnelles et analyse d'une langue de chancellerie : le logiciel d'analyse textuelle Machiato et la correspondance diplomatique et administrative de Machiavel. DH (2016)
Marc Lasson
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. MFPS (2014)
Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
Strategies as Concurrent Processes. MFPS (2014)
Marc Lasson, Corinne Manchio
Measuring the Words: Digital Approach to the Official Correspondence of Machiavelli. AIUCD (2014)
Chantal Keller, Marc Lasson
Parametricity in an Impredicative Sort CoRR (2012)
Chantal Keller, Marc Lasson
The Refined Calculus of Inductive Construction: Parametricity and Abstraction CoRR (2012)
Chantal Keller, Marc Lasson
Parametricity in an Impredicative Sort. CSL (2012)
Marc Lasson
Controlling Program Extraction in Light Logics. TLCA (2011)
Jean-Philippe Bernardy, Marc Lasson
Realizability and Parametricity in Pure Type Systems. FoSSaCS (2011)
Marc Lasson
Controlling program extraction in Elementary Linear Logic CoRR (2010)