| Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 22 | 2019 |
| Strong call-by-value is reasonable, implosively B Accattoli, A Condoluci, CS Coen 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 19 | 2021 |
| Sharing equality is linear A Condoluci, B Accattoli, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 15 | 2019 |
| Relational data across mathematical libraries A Condoluci, M Kohlhase, D Müller, F Rabe, C Sacerdoti Coen, M Wenzel Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 9 | 2019 |
| Admissible tools in the kitchen of intuitionistic logic A Condoluci, M Manighetti arXiv preprint arXiv:1810.07372, 2018 | 4 | 2018 |
| CERES in Propositional Proof Schemata A Condoluci arXiv preprint arXiv:1701.05251, 2016 | 2 | 2016 |
| Beta-Conversion, Efficiently A Condoluci alma, 2020 | 1 | 2020 |
| Sharing Equality is Linear B Accattoli, A Condoluci, C Sacerdoti TYPES 2018, 2018 | | 2018 |
| Multi Types for Strong Call-by-Value B Accattoli, A Condoluci, G Guerrieri, M Leberle, CS Coen EUTYPES-TYPES 2020-Abstracts, 0 | | |
| Harrop: A new tool in the kitchen of intuitionistic logic A Condoluci, M Manighetti ESSLLI 2018 Student Session, 100, 0 | | |
| A (b) normal Environments B Accattoli, A Condoluci, G Guerrieri, CS Coen | | |
| Admissible tools in the kitchen of intuitionistic logic M Manighetti, A Condoluci | | |
