Beniamino Accattoli

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 76

Top Topics

Cut Elimination

Universally Quantified

Top Venues

Publications

Beniamino Accattoli, Adrienne Lancelot
Light Genericity. FoSSaCS (2) (2024)
Beniamino Accattoli
Semantic Bounds and Multi Types, Revisited. CSL (2024)
Beniamino Accattoli, Claudio Sacerdoti Coen
IMELL Cut Elimination with Linear Overhead. FSCD (2024)
Beniamino Accattoli, Adrienne Lancelot
Mirroring Call-By-Need, or Values Acting Silly. FSCD (2024)
Beniamino Accattoli, Adrienne Lancelot
Mirroring Call-by-Need, or Values Acting Silly. CoRR (2024)
Beniamino Accattoli, Claudio Sacerdoti Coen
IMELL Cut Elimination with Linear Overhead. CoRR (2024)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Strong Call-by-Value and Multi Types. CoRR (2023)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. CoRR (2023)
Beniamino Accattoli, Pablo Barenbaum
A Diamond Machine For Strong Evaluation. CoRR (2023)
Beniamino Accattoli
Sharing a Perspective on the λ-Calculus. Onward! (2023)
Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot
Normal Form Bisimulations By Value. CoRR (2023)
Beniamino Accattoli, Horace Blanc, Claudio Sacerdoti Coen
Formalizing Functions as Processes. ITP (2023)
Beniamino Accattoli
Semantic Bound and Multi Types, Revisited. CoRR (2023)
Beniamino Accattoli, Pablo Barenbaum
A Diamond Machine for Strong Evaluation. APLAS (2023)
Beniamino Accattoli
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. Log. Methods Comput. Sci. 19 (4) (2023)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Strong Call-by-Value and Multi Types. ICTAC (2023)
Beniamino Accattoli, Giulio Guerrieri
The Theory of Call-by-Value Solvability (long version). CoRR (2022)
Beniamino Accattoli
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. LICS (2022)
Beniamino Accattoli, Maico Leberle
Useful Open Call-By-Need. CSL (2022)
Beniamino Accattoli, Giulio Guerrieri
Call-by-Value Solvability and Multi Types. CoRR (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi types and reasonable space. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Multi Types and Reasonable Space (Long Version). CoRR (2022)
Beniamino Accattoli
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. LICS (2022)
Beniamino Accattoli, Giulio Guerrieri
The theory of call-by-value solvability. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically. CoRR (2022)
Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively. CoRR (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction. LICS (2021)
Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively. LICS (2021)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
Semantic Bounds and Strong Call-by-Value Normalization. CoRR (2021)
Beniamino Accattoli, Maico Leberle
Useful Open Call-by-Need. CoRR (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CSL (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of interaction. Proc. ACM Program. Lang. 5 (POPL) (2021)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Space of Interaction (long version). CoRR (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CoRR (2020)
Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni
The Abstract Machinery of Interaction (Long Version). CoRR (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The (In)Efficiency of Interaction. CoRR (2020)
Beniamino Accattoli, Alejandro Díaz-Caro
Functional Pearl: The Distributive λ-Calculus. CoRR (2020)
Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner
Tight typings and split bounds, fully developed. J. Funct. Program. 30 (2020)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The Machinery of Interaction. PPDP (2020)
Beniamino Accattoli, Alejandro Díaz-Caro
Functional Pearl: The Distributive λ-Calculus. FLOPS (2020)
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)
Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen
Sharing Equality is Linear. PPDP (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)
Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen
Sharing Equality is Linear. CoRR (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
A Fresh Look at the lambda-Calculus (Invited Talk). FSCD (2019)
Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner
Tight Typings and Split Bounds. CoRR (2018)
Beniamino Accattoli, Giulio Guerrieri
Types of Fireballs (Extended Version). CoRR (2018)
Beniamino Accattoli
Proof Nets and the Linear Substitution Calculus. ICTAC (2018)
Beniamino Accattoli, Carlos Olarte
Preface. LSFA (2018)
Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner
Tight typings and split bounds. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Beniamino Accattoli, Giulio Guerrieri
Types of Fireballs. APLAS (2018)
Beniamino Accattoli
Proof Nets and the Linear Substitution Calculus. CoRR (2018)
Beniamino Accattoli, Bruno Barras
The Negligible and Yet Subtle Cost of Pattern Matching. APLAS (2017)
Beniamino Accattoli, Giulio Guerrieri
Implementing Open Call-by-Value (Extended Version). CoRR (2017)
Beniamino Accattoli, Claudio Sacerdoti Coen
On the value of variables. Inf. Comput. 255 (2017)
Ugo Dal Lago, Beniamino Accattoli
Encoding Turing Machines into the Deterministic Lambda-Calculus. CoRR (2017)
Beniamino Accattoli, Bruno Barras
Environments and the complexity of abstract machines. PPDP (2017)
Beniamino Accattoli, Giulio Guerrieri
Implementing Open Call-by-Value. FSEN (2017)
Beniamino Accattoli
The Maximal MAM, a Reasonable Implementation of the Maximal Strategy. CoRR (2017)
Beniamino Accattoli
(In)Efficiency and Reasonable Cost Models. LSFA (2017)
Beniamino Accattoli, Giulio Guerrieri
Open Call-by-Value (Extended Version). CoRR (2016)
Beniamino Accattoli
The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. WoLLIC (2016)
Beniamino Accattoli
The Complexity of Abstract Machines. WPTE@FSCD (2016)
Beniamino Accattoli, Giulio Guerrieri
Open Call-by-Value. APLAS (2016)
Beniamino Accattoli, Ugo Dal Lago
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed. Log. Methods Comput. Sci. 12 (1) (2016)
Beniamino Accattoli, Claudio Sacerdoti Coen
On the Relative Usefulness of Fireballs. LICS (2015)
Beniamino Accattoli
Proof nets and the call-by-value λ-calculus. Theor. Comput. Sci. 606 (2015)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
A Strong Distillery. CoRR (2015)
Beniamino Accattoli, Claudio Sacerdoti Coen
On the Relative Usefulness of Fireballs. CoRR (2015)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
A Strong Distillery. APLAS (2015)
Beniamino Accattoli, Ugo Dal Lago
Beta Reduction is Invariant, Indeed (Long Version). CoRR (2014)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
Distilling abstract machines. ICFP (2014)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
Distilling Abstract Machines (Long Version). CoRR (2014)
Beniamino Accattoli, Claudio Sacerdoti Coen
On the Value of Variables. WoLLIC (2014)
Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
A nonstandard standardization theorem. POPL (2014)
Beniamino Accattoli, Ugo Dal Lago
Beta reduction is invariant, indeed. CSL-LICS (2014)
Beniamino Accattoli
Evaluating functions as processes TERMGRAPH (2013)
Beniamino Accattoli
Compressing Polarized Boxes. LICS (2013)
Beniamino Accattoli
Linear Logic and Strong Normalization. RTA (2013)
Beniamino Accattoli, Ugo Dal Lago
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) CoRR (2012)
Beniamino Accattoli, Delia Kesner
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus Log. Methods Comput. Sci. 8 (1) (2012)
Beniamino Accattoli, Luca Paolini
Call-by-Value Solvability, Revisited. FLOPS (2012)
Beniamino Accattoli
Proof nets and the call-by-value lambda-calculus LSFA (2012)
Beniamino Accattoli, Delia Kesner
The Permutative λ-Calculus. LPAR (2012)
Beniamino Accattoli
An Abstract Factorization Theorem for Explicit Substitutions. RTA (2012)
Beniamino Accattoli
Proof Pearl: Abella Formalization of λ-Calculus Cube Property. CPP (2012)
Beniamino Accattoli, Ugo Dal Lago
On the Invariance of the Unitary Cost Model for Head Reduction. RTA (2012)
Beniamino Accattoli, Delia Kesner
-Calculus. CSL (2010)
Beniamino Accattoli, Stefano Guerrini
Jumping Boxes. CSL (2009)