A semantical and operational account of call-by-value solvability A Carraro, G Guerrieri | 65 | 2014 |
Open call-by-value B Accattoli, G Guerrieri Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 53 | 2016 |
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 | 51 | 2016 |
Types of fireballs B Accattoli, G Guerrieri Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018 | 32 | 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 | 32 | 2016 |
The bang calculus and the two Girard's translations G Guerrieri, G Manzonetto arXiv preprint arXiv:1904.06845, 2019 | 31 | 2019 |
Types by Need. B Accattoli, G Guerrieri, M Leberle ESOP, 410-439, 2019 | 26 | 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 | 19 | 2017 |
Decomposing Probabilistic Lambda-Calculi. U Dal Lago, G Guerrieri, W Heijltjes FoSSaCS 20, 136-156, 2020 | 16 | 2020 |
Head reduction and normalization in a call-by-value lambda-calculus G Guerrieri 2nd International Workshop on Rewriting Techniques for Program …, 2015 | 16 | 2015 |
Abstract machines for open call-by-value B Accattoli, G Guerrieri Science of Computer Programming 184, 102275, 2019 | 15 | 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 |
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 in Call-by-Name and Call-by-Value Calculi via Linear Logic. C Faggian, G Guerrieri FoSSaCS, 205-225, 2021 | 10 | 2021 |
Factorization and normalization, essentially B Accattoli, C Faggian, G Guerrieri Asian Symposium on Programming Languages and Systems, 159-180, 2019 | 9 | 2019 |
Postponement of and Glivenko’s Theorem, Revisited G Guerrieri, A Naibo Studia Logica 107 (1), 109-144, 2019 | 9 | 2019 |
Proof-net as graph, taylor expansion as pullback G Guerrieri, L Pellissier, L Tortora de Falco Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 9 | 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 | 8 | 2022 |