Giulio Guerrieri

62 papers A* 1A 1B 15C 5Journal 33Unranked 7

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