Follow
Giulio Guerrieri
Giulio Guerrieri
Department of Computer Science, University of Bath
Verified email at bath.ac.uk - Homepage
Title
Cited by
Cited by
Year
A semantical and operational account of call-by-value solvability
A Carraro, G Guerrieri
712014
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
612016
Open call-by-value
B Accattoli, G Guerrieri
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
612016
Types of fireballs
B Accattoli, G Guerrieri
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
392018
The bang calculus and the two Girard's translations
G Guerrieri, G Manzonetto
arXiv preprint arXiv:1904.06845, 2019
362019
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
342016
Types by Need.
B Accattoli, G Guerrieri, M Leberle
ESOP, 410-439, 2019
312019
Crumbling abstract machines
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
262019
Implementing open call-by-value
B Accattoli, G Guerrieri
International Conference on Fundamentals of Software Engineering, 1-19, 2017
252017
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
222017
Abstract machines for open call-by-value
B Accattoli, G Guerrieri
Science of Computer Programming 184, 102275, 2019
212019
Decomposing Probabilistic Lambda-Calculi.
U Dal Lago, G Guerrieri, W Heijltjes
FoSSaCS 20, 136-156, 2020
182020
Head reduction and normalization in a call-by-value lambda-calculus
G Guerrieri
2nd International Workshop on Rewriting Techniques for Program …, 2015
172015
Towards a semantic measure of the execution time in call-by-value lambda-calculus
G Guerrieri
arXiv preprint arXiv:1904.10800, 2019
162019
The theory of call-by-value solvability
B Accattoli, G Guerrieri
Proceedings of the ACM on Programming Languages 6 (ICFP), 855-885, 2022
152022
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.
C Faggian, G Guerrieri
FoSSaCS, 205-225, 2021
132021
Factorization and normalization, essentially
B Accattoli, C Faggian, G Guerrieri
Asian Symposium on Programming Languages and Systems, 159-180, 2019
132019
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
132015
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
122023
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
122022
The system can't perform the operation now. Try again later.
Articles 1–20