Statistics
Publications
3
Citations
49
H-Index
3
Active since
2012
Marc Lasson is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.
Publications per year
2012–2014
3
3
Strategies as Concurrent Processes
Simon Castellan, Jonathan Hayman, Marc Lasson et al. · Electronic Notes in Theoretical Computer Science · 2014 · 16 citations · Full text
Parametricity in an Impredicative Sort
Chantal Keller, Marc Lasson · arXiv (Cornell University) · 2012 · 11 citations · Full text
1–3 of 3