Giulio Guerrieri

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 57

Top Topics

Cut Elimination

Sequent Calculi

Proof Theoretic

Top Venues

Publications

Victor Arrial, Giulio Guerrieri, Delia Kesner
Genericity Through Stratification. LICS (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
The Benefits of Diligence. CoRR (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
The Benefits of Diligence. IJCAR (2) (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary Cut-Elimination via Finite Approximations. CSL (2024)
Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
Genericity Through Stratification. CoRR (2024)
Delia Kesner, Victor Arrial, Giulio Guerrieri
Meaningfulness and Genericity in a Subsuming Framework. CoRR (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Non-wellfounded parsimonious proofs and non-uniform complexity. CoRR (2024)
Delia Kesner, Victor Arrial, Giulio Guerrieri
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). FSCD (2024)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Strong Call-by-Value and Multi Types. CoRR (2023)
Victor Arrial, Giulio Guerrieri, Delia Kesner
Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework. Proc. ACM Program. Lang. 7 (POPL) (2023)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Strong Call-by-Value and Multi Types. ICTAC (2023)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary cut-elimination via finite approximations. CoRR (2023)
Beniamino Accattoli, Giulio Guerrieri
The Theory of Call-by-Value Solvability (long version). CoRR (2022)
Beniamino Accattoli, Giulio Guerrieri
Call-by-Value Solvability and Multi Types. CoRR (2022)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. Log. Methods Comput. Sci. 18 (2) (2022)
Claudia Faggian, Giulio Guerrieri
Strategies for Asymptotic Normalization. CoRR (2022)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. Math. Struct. Comput. Sci. 32 (7) (2022)
Claudia Faggian, Giulio Guerrieri
Strategies for Asymptotic Normalization. FSCD (2022)
Beniamino Accattoli, Giulio Guerrieri
The theory of call-by-value solvability. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Semantic Bounds and Strong Call-by-Value Normalization. CoRR (2021)
Matteo Acclavio, Giulio Guerrieri
A Deep Inference System for Differential Linear Logic. CoRR (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CSL (2021)
Claudia Faggian, Giulio Guerrieri
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). CoRR (2021)
Giulio Guerrieri, Federico Olimpieri
Categorifying Non-Idempotent Intersection Types. CSL (2021)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. CoRR (2021)
Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus
A Deep Quantitative Type System. CSL (2021)
Claudia Faggian, Giulio Guerrieri
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. FoSSaCS (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CoRR (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. CSL (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. CoRR (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-calculi. CoRR (2020)
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Decomposing Probabilistic Lambda-Calculi. FoSSaCS (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of resource proof-structures: inverting the Taylor expansion (long version). CoRR (2019)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Types by Need (Extended Version). CoRR (2019)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorization and Normalization, Essentially. CoRR (2019)
Giulio Guerrieri, Alberto Naibo
Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. Stud Logica 107 (1) (2019)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC (2019)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Types by Need. ESOP (2019)
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
Crumbling Abstract Machines. CoRR (2019)
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
Crumbling Abstract Machines. PPDP (2019)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorization and Normalization, Essentially. APLAS (2019)
Beniamino Accattoli, Giulio Guerrieri
Abstract machines for Open Call-by-Value. Sci. Comput. Program. 184 (2019)
Beniamino Accattoli, Giulio Guerrieri
Types of Fireballs (Extended Version). CoRR (2018)
Giulio Guerrieri
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS (2018)
Beniamino Accattoli, Giulio Guerrieri
Types of Fireballs. APLAS (2018)
Giulio Guerrieri, Giulio Manzonetto
The Bang Calculus and the Two Girard's Translations. Linearity-TLLA@FLoC (2018)
Giulio Guerrieri
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). CoRR (2018)
Beniamino Accattoli, Giulio Guerrieri
Implementing Open Call-by-Value (Extended Version). CoRR (2017)
Beniamino Accattoli, Giulio Guerrieri
Implementing Open Call-by-Value. FSEN (2017)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. 13 (4) (2017)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. CoRR (2016)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR (2016)
Beniamino Accattoli, Giulio Guerrieri
Open Call-by-Value (Extended Version). CoRR (2016)
Thomas Ehrhard, Giulio Guerrieri
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. PPDP (2016)
Beniamino Accattoli, Giulio Guerrieri
Open Call-by-Value. APLAS (2016)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Computing Connected Proof(-Structure)s From Their Taylor Expansion. FSCD (2016)
Giulio Guerrieri
Head reduction and normalization in a call-by-value lambda-calculus. WPTE@RTA/TLCA (2015)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization of a Call-By-Value Lambda-Calculus. TLCA (2015)
Alberto Carraro, Giulio Guerrieri
A Semantical and Operational Account of Call-by-Value Solvability. FoSSaCS (2014)