Marc Lasson

According to our database, Marc Lasson authored at least 10 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

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

Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016

2014

Canonicity of Weak ω-groupoid Laws Using Parametricity Theory.

Marc Lasson

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Strategies as Concurrent Processes.

Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Measuring the Words: Digital Approach to the Official Correspondence of Machiavelli.

Marc Lasson, Corinne Manchio

Proceedings of the Third AIUCD Annual Conference on Humanities and Their Methods in the Digital Ecosystem, 2014

2012

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

Marc Lasson

PhD thesis, 2012

The Refined Calculus of Inductive Construction: Parametricity and Abstraction

Chantal Keller, Marc Lasson

CoRR, 2012

Parametricity in an Impredicative Sort.

Chantal Keller, Marc Lasson

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Controlling Program Extraction in Light Logics.

Marc Lasson

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

Realizability and Parametricity in Pure Type Systems.

Jean-Philippe Bernardy, Marc Lasson

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

Controlling program extraction in Elementary Linear Logic

Marc Lasson

CoRR, 2010