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
692014
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
562016
Open call-by-value
B Accattoli, G Guerrieri
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
562016
Types of fireballs
B Accattoli, G Guerrieri
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
352018
The bang calculus and the two Girard's translations
G Guerrieri, G Manzonetto
arXiv preprint arXiv:1904.06845, 2019
342019
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
332016
Types by Need.
B Accattoli, G Guerrieri, M Leberle
ESOP, 410-439, 2019
302019
Implementing open call-by-value
B Accattoli, G Guerrieri
International Conference on Fundamentals of Software Engineering, 1-19, 2017
242017
Crumbling abstract machines
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
222019
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
202017
Decomposing Probabilistic Lambda-Calculi.
U Dal Lago, G Guerrieri, W Heijltjes
FoSSaCS 20, 136-156, 2020
172020
Abstract machines for open call-by-value
B Accattoli, G Guerrieri
Science of Computer Programming 184, 102275, 2019
162019
Head reduction and normalization in a call-by-value lambda-calculus
G Guerrieri
2nd International Workshop on Rewriting Techniques for Program …, 2015
162015
Towards a semantic measure of the execution time in call-by-value lambda-calculus
G Guerrieri
arXiv preprint arXiv:1904.10800, 2019
152019
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
The theory of call-by-value solvability
B Accattoli, G Guerrieri
Proceedings of the ACM on Programming Languages 6 (ICFP), 855-885, 2022
122022
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.
C Faggian, G Guerrieri
FoSSaCS, 205-225, 2021
112021
Factorization and normalization, essentially
B Accattoli, C Faggian, G Guerrieri
Asian Symposium on Programming Languages and Systems, 159-180, 2019
112019
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
102019
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
92022
The system can't perform the operation now. Try again later.
Articles 1–20