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
652014
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
512016
Open call-by-value
B Accattoli, G Guerrieri
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
512016
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 of fireballs
B Accattoli, G Guerrieri
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
312018
The bang calculus and the two Girard's translations
G Guerrieri, G Manzonetto
arXiv preprint arXiv:1904.06845, 2019
302019
Types by Need.
B Accattoli, G Guerrieri, M Leberle
ESOP, 410-439, 2019
242019
Implementing open call-by-value
B Accattoli, G Guerrieri
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
242017
Crumbling abstract machines
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
192019
Standardization and conservativity of a refined call-by-value lambda-calculus
G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
182016
Head reduction and normalization in a call-by-value lambda-calculus
G Guerrieri
2nd International Workshop on Rewriting Techniques for Program …, 2015
162015
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
142015
Towards a semantic measure of the execution time in call-by-value lambda-calculus
G Guerrieri
arXiv preprint arXiv:1904.10800, 2019
132019
Decomposing Probabilistic Lambda-Calculi.
U Dal Lago, G Guerrieri, W Heijltjes
FoSSaCS 20, 136-156, 2020
122020
Abstract machines for open call-by-value
B Accattoli, G Guerrieri
Science of Computer Programming 184, 102275, 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
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.
C Faggian, G Guerrieri
FoSSaCS, 205-225, 2021
92021
Postponement of and Glivenko’s Theorem, Revisited
G Guerrieri, A Naibo
Studia Logica 107 (1), 109-144, 2019
92019
Factorization and normalization, essentially
B Accattoli, C Faggian, G Guerrieri
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
72019
The theory of call-by-value solvability
B Accattoli, G Guerrieri
Proceedings of the ACM on Programming Languages 6 (ICFP), 855-885, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20