Marc Lasson
According to our database1,
Marc Lasson
authored at least 10 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
0
1
2
3
4
1
1
1
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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.
Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016
2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
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).
PhD thesis, 2012
CoRR, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
2011
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
2010