Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Distilling abstract machines
- Beniamino Accattoli, Pablo Barenbaum, D. Mazza
- Computer Science
- ICFP
- 19 August 2014
TLDR
Beta reduction is invariant, indeed
- Beniamino Accattoli, Ugo Dal Lago
- Mathematics, Computer Science
- CSL-LICS
- 14 July 2014
TLDR
Environments and the complexity of abstract machines
- Beniamino Accattoli, B. Barras
- Computer Science
- PPDP
- 9 October 2017
TLDR
An Abstract Factorization Theorem for Explicit Substitutions
- Beniamino Accattoli
- Mathematics, Computer Science
- RTA
- 28 May 2012
TLDR
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
- Beniamino Accattoli, Ugo Dal Lago
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 6 January 2016
TLDR
Call-by-Value Solvability, Revisited
- Beniamino Accattoli, Luca Paolini
- Mathematics, Computer Science
- FLOPS
- 23 May 2012
TLDR
A nonstandard standardization theorem
- Beniamino Accattoli, E. Bonelli, D. Kesner, C. Lombardi
- Computer Science
- POPL
- 8 January 2014
TLDR
The Structural lambda-Calculus
- Beniamino Accattoli, D. Kesner
- Mathematics, Computer Science
- CSL
- 23 August 2010
TLDR
Open Call-by-Value
- Beniamino Accattoli, G. Guerrieri
- Computer Science
- APLAS
- 1 September 2016
TLDR
Evaluating functions as processes
- Beniamino Accattoli
- Computer Science
- TERMGRAPH
- 25 February 2013
TLDR
...
1
2
3
4
5
...