| Weighted relational models of typed lambda-calculi J Laird, G Manzonetto, G McCusker, M Pagani 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 301-310, 2013 | 130 | 2013 |
| Not enough points is enough A Bucciarelli, T Ehrhard, G Manzonetto Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007 | 101 | 2007 |
| Categorical models for simply typed resource calculi A Bucciarelli, T Ehrhard, G Manzonetto Electronic Notes in Theoretical Computer Science 265, 213-230, 2010 | 66 | 2010 |
| Applying universal algebra to lambda calculus G Manzonetto, A Salibra Journal of Logic and computation 20 (4), 877-915, 2010 | 51 | 2010 |
| A relational semantics for parallelism and non-determinism in a functional setting A Bucciarelli, T Ehrhard, G Manzonetto Annals of Pure and Applied Logic 163 (7), 918-934, 2012 | 47 | 2012 |
| What is a Categorical Model of the Differential and the Resource λ-Calculi? G Manzonetto Mathematical Structures in Computer Science 22 (3), 451-520, 2012 | 47 | 2012 |
| The bang calculus and the two Girard's translations G Guerrieri, G Manzonetto arXiv preprint arXiv:1904.06845, 2019 | 38 | 2019 |
| From λ-Calculus to Universal Algebra and Back G Manzonetto, A Salibra Mathematical Foundations of Computer Science 2008: 33rd International …, 2008 | 35 | 2008 |
| Revisiting Call-by-value B\" ohm trees in light of their Taylor expansion E Kerinec, G Manzonetto, M Pagani Logical Methods in Computer Science 16, 2020 | 33 | 2020 |
| Taylor Subsumes Scott, Berry, Kahn and Plotkin D Barbarossa, G Manzonetto Proceedings of the ACM on Programming Languages 4 (POPL), 1-23, 2019 | 33 | 2019 |
| Boolean algebras for lambda calculus G Manzonetto, A Salibra 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006 | 31 | 2006 |
| Full abstraction for resource calculus with tests A Bucciarelli, A Carraro, T Ehrhard, G Manzonetto Dagstuhl: sn, 2011 | 26 | 2011 |
| A Relational Model of a Parallel and Non-deterministic λ-Calculus A Bucciarelli, T Ehrhard, G Manzonetto Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009 | 26 | 2009 |
| A general class of models of G Manzonetto International Symposium on Mathematical Foundations of Computer Science, 574-586, 2009 | 25 | 2009 |
| Constructing differential categories and deconstructing categories of games J Laird, G Manzonetto, G McCusker Information and Computation 222, 247-264, 2013 | 22 | 2013 |
| Call-by-value non-determinism in a linear logic type discipline A Díaz-Caro, G Manzonetto, M Pagani Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013 | 21 | 2013 |
| Models and theories of lambda calculus G Manzonetto arXiv preprint arXiv:0904.4756, 2009 | 19 | 2009 |
| Böhm’s theorem for resource lambda calculus through Taylor expansion G Manzonetto, M Pagani International Conference on Typed Lambda Calculi and Applications, 153-168, 2011 | 18 | 2011 |
| Lambda theories of effective lambda models C Berline, G Manzonetto, A Salibra Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007 | 18 | 2007 |
| Relational graph models, Taylor expansion and extensionality G Manzonetto, D Ruoppolo Electronic Notes in Theoretical Computer Science 308, 245-272, 2014 | 15 | 2014 |
Thomas EhrhardCNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)Verified email at irif.fr