| A semantical and operational account of call-by-value solvability A Carraro, G Guerrieri | 71 | 2014 |
| The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value T Ehrhard, G Guerrieri Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 59 | 2016 |
| Open call-by-value B Accattoli, G Guerrieri Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 57 | 2016 |
| The bang calculus and the two Girard's translations G Guerrieri, G Manzonetto arXiv preprint arXiv:1904.06845, 2019 | 36 | 2019 |
| Types of fireballs B Accattoli, G Guerrieri Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018 | 36 | 2018 |
| Computing connected proof (-structure) s from their Taylor expansion G Guerrieri, L Pellissier, LT De Falco Formal Structures in Computation and Deduction 52, 20: 1-20: 18, 2016 | 33 | 2016 |
| Types by Need. B Accattoli, G Guerrieri, M Leberle ESOP, 410-439, 2019 | 30 | 2019 |
| Implementing open call-by-value B Accattoli, G Guerrieri International Conference on Fundamentals of Software Engineering, 1-19, 2017 | 24 | 2017 |
| Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 22 | 2019 |
| Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca Logical Methods in Computer Science 13, 2017 | 22 | 2017 |
| Decomposing Probabilistic Lambda-Calculi. U Dal Lago, G Guerrieri, W Heijltjes FoSSaCS 20, 136-156, 2020 | 18 | 2020 |
| Head reduction and normalization in a call-by-value lambda-calculus G Guerrieri 2nd International Workshop on Rewriting Techniques for Program …, 2015 | 17 | 2015 |
| Abstract machines for open call-by-value B Accattoli, G Guerrieri Science of Computer Programming 184, 102275, 2019 | 16 | 2019 |
| Towards a semantic measure of the execution time in call-by-value lambda-calculus G Guerrieri arXiv preprint arXiv:1904.10800, 2019 | 15 | 2019 |
| The theory of call-by-value solvability B Accattoli, G Guerrieri Proceedings of the ACM on Programming Languages 6 (ICFP), 855-885, 2022 | 14 | 2022 |
| Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. C Faggian, G Guerrieri FoSSaCS, 205-225, 2021 | 13 | 2021 |
| Standardization of a call-by-value lambda-calculus G Guerrieri, L Paolini, S Ronchi Della Rocca 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 13 | 2015 |
| Factorization and normalization, essentially B Accattoli, C Faggian, G Guerrieri Asian Symposium on Programming Languages and Systems, 159-180, 2019 | 12 | 2019 |
| On reduction and normalization in the computational core C Faggian, G Guerrieri, U De’Liguoro, R Treglia Mathematical Structures in Computer Science 32 (7), 934-981, 2022 | 11 | 2022 |
| Quantitative inhabitation for different lambda calculi in a unifying framework V Arrial, G Guerrieri, D Kesner Proceedings of the ACM on Programming Languages 7 (POPL), 1483-1513, 2023 | 10 | 2023 |
