×

Accattoli, Beniamino

Compute Distance To:
Author ID: accattoli.beniamino Recent zbMATH articles by "Accattoli, Beniamino"
Published as: Accattoli, Beniamino

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 120 times in 49 Documents Cited by Year
A nonstandard standardization theorem. Zbl 1284.68121
Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos
15
2014
The structural \(\lambda \)-calculus. Zbl 1287.03034
Accattoli, Beniamino; Kesner, Delia
15
2010
Distilling abstract machines. Zbl 1345.68036
Accattoli, Beniamino; Barenbaum, Pablo; Mazza, Damiano
11
2014
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
Open call-by-value. Zbl 1483.68063
Accattoli, Beniamino; Guerrieri, Giulio
6
2016
Call-by-value solvability, revisited. Zbl 1354.68041
Accattoli, Beniamino; Paolini, Luca
6
2012
Jumping boxes. Representing lambda-calculus boxes by jumps. Zbl 1257.03038
Accattoli, Beniamino; Guerrini, Stefano
6
2009
Beta reduction is invariant, indeed. Zbl 1394.03020
Accattoli, Beniamino; Dal Lago, Ugo
6
2014
On the relative usefulness of fireballs. Zbl 1394.68058
Accattoli, Beniamino; Sacerdoti Coen, Claudio
6
2015
On the value of variables. Zbl 1372.68054
Accattoli, Beniamino; Sacerdoti Coen, Claudio
5
2014
Proof nets and the call-by-value \(\lambda\)-calculus. Zbl 1332.68026
Accattoli, Beniamino
5
2015
Linear logic and strong normalization. Zbl 1356.03102
Accattoli, Beniamino
4
2011
The permutative \(\lambda \)-calculus. Zbl 1352.03019
Accattoli, Beniamino; Kesner, Delia
4
2012
A strong distillery. Zbl 1329.68061
Accattoli, Beniamino; Barenbaum, Pablo; Mazza, Damiano
3
2015
Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011
Accattoli, Beniamino; Kesner, Delia
3
2012
Proof pearl: Abella formalization of \(\lambda \)-calculus cube property. Zbl 1385.68012
Accattoli, Beniamino
3
2012
Proof nets and the linear substitution calculus. Zbl 06983500
Accattoli, Beniamino
3
2018
The useful MAM, a reasonable implementation of the strong \(\lambda\)-calculus. Zbl 1478.68083
Accattoli, Beniamino
2
2016
An abstract factorization theorem for explicit substitutions. Zbl 1437.68038
Accattoli, Beniamino
2
2012
Tight typings and split bounds, fully developed. Zbl 1482.68077
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia
2
2020
(In)efficiency and reasonable cost models. Zbl 1433.68084
Accattoli, Beniamino
1
2018
On the invariance of the unitary cost model for head reduction. Zbl 1437.68039
Accattoli, Beniamino; Dal Lago, Ugo
1
2012
Tight typings and split bounds, fully developed. Zbl 1482.68077
Accattoli, Beniamino; Graham-Lengrand, Stéphane; Kesner, Delia
2
2020
Proof nets and the linear substitution calculus. Zbl 06983500
Accattoli, Beniamino
3
2018
(In)efficiency and reasonable cost models. Zbl 1433.68084
Accattoli, Beniamino
1
2018
(Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137
Accattoli, Beniamino; Dal Lago, Ugo
11
2016
Open call-by-value. Zbl 1483.68063
Accattoli, Beniamino; Guerrieri, Giulio
6
2016
The useful MAM, a reasonable implementation of the strong \(\lambda\)-calculus. Zbl 1478.68083
Accattoli, Beniamino
2
2016
On the relative usefulness of fireballs. Zbl 1394.68058
Accattoli, Beniamino; Sacerdoti Coen, Claudio
6
2015
Proof nets and the call-by-value \(\lambda\)-calculus. Zbl 1332.68026
Accattoli, Beniamino
5
2015
A strong distillery. Zbl 1329.68061
Accattoli, Beniamino; Barenbaum, Pablo; Mazza, Damiano
3
2015
A nonstandard standardization theorem. Zbl 1284.68121
Accattoli, Beniamino; Bonelli, Eduardo; Kesner, Delia; Lombardi, Carlos
15
2014
Distilling abstract machines. Zbl 1345.68036
Accattoli, Beniamino; Barenbaum, Pablo; Mazza, Damiano
11
2014
Beta reduction is invariant, indeed. Zbl 1394.03020
Accattoli, Beniamino; Dal Lago, Ugo
6
2014
On the value of variables. Zbl 1372.68054
Accattoli, Beniamino; Sacerdoti Coen, Claudio
5
2014
Call-by-value solvability, revisited. Zbl 1354.68041
Accattoli, Beniamino; Paolini, Luca
6
2012
The permutative \(\lambda \)-calculus. Zbl 1352.03019
Accattoli, Beniamino; Kesner, Delia
4
2012
Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus. Zbl 1237.03011
Accattoli, Beniamino; Kesner, Delia
3
2012
Proof pearl: Abella formalization of \(\lambda \)-calculus cube property. Zbl 1385.68012
Accattoli, Beniamino
3
2012
An abstract factorization theorem for explicit substitutions. Zbl 1437.68038
Accattoli, Beniamino
2
2012
On the invariance of the unitary cost model for head reduction. Zbl 1437.68039
Accattoli, Beniamino; Dal Lago, Ugo
1
2012
Linear logic and strong normalization. Zbl 1356.03102
Accattoli, Beniamino
4
2011
The structural \(\lambda \)-calculus. Zbl 1287.03034
Accattoli, Beniamino; Kesner, Delia
15
2010
Jumping boxes. Representing lambda-calculus boxes by jumps. Zbl 1257.03038
Accattoli, Beniamino; Guerrini, Stefano
6
2009

Citations by Year