| A core quantitative coeffect calculus A Brunel, M Gaboardi, D Mazza, S Zdancewic European Symposium on Programming Languages and Systems, 351-370, 2014 | 132 | 2014 |
| Backpropagation in the simply typed lambda-calculus with linear negation A Brunel, D Mazza, M Pagani Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 51 | 2019 |
| Church=> Scott= Ptime: an application of resource sensitive realizability A Brunel, K Terui arXiv preprint arXiv:1005.0524, 2010 | 23 | 2010 |
| Quantitative classical realizability A Brunel Information and Computation 241, 62-95, 2015 | 15 | 2015 |
| Non-constructive complex analysis in Coq A Brunel 18th International Workshop on Types for Proofs and Programs (TYPES 2011), 2013 | 6 | 2013 |
| Indexed realizability for bounded-time programming with references and type fixpoints A Brunel, A Madet Asian Symposium on Programming Languages and Systems, 264-279, 2012 | 6 | 2012 |
| Orthogonality and boolean algebras for deduction modulo A Brunel, O Hermant, C Houtmann Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011 | 5 | 2011 |
| The monitoring power of forcing transformations A Brunel Université Paris-Nord-Paris XIII, 2014 | 4 | 2014 |
| Realizability models for a linear dependent PCF A Brunel, M Gaboardi Theoretical Computer Science 585, 55-70, 2015 | 2 | 2015 |
| The monitoring power of forcing program transformations A Brunel Université Paris 13, 2014 | 2 | 2014 |
| Transformations de «forcing» et algèbres de «monitoring» A Brunel PhD thesis, 2014 | 2 | 2014 |
| The monitoring power of forcing transformations| Theses. fr A Brunel Paris 13, 2014 | | 2014 |
| Candidats de réductibilité quantitatifs et logique linéaire élémentaire modulo A BRUNEL Mars, 2010 | | 2010 |
| La téléportation quantique comme primitive universelle de calcul A Brunel | | 2009 |
| Implementing a differentiable programming framework based on linear logic and functional programming M Pagani, A Brunel, D Mazza, M Frederic | | |
| Light forcing, Krivine’s classical realizability and the timeout effect A BRUNEL | | |
| Realizability and implicit PTIME characterization A Brunel | | |
Damiano MazzaCNRS, LIPN, Université Sorbonne Paris NordAdresse e-mail validée de lipn.univ-paris13.fr
