Beniamino Accattoli

Available identifiers

zbMath Open accattoli.beniaminoMaRDI QIDQ897927

List of research outcomes

Publication	Date of Publication	Type
Reasonable space for the \(\lambda \)-calculus, logarithmically	2024-12-06	Paper
Exponentials as substitutions and the cost of cut elimination in linear logic	2024-12-06	Paper
Formalizing functions as processes	2024-11-26	Paper
Light genericity	2024-10-30	Paper
Strong call-by-value and multi types	2024-09-13	Paper
Factorization and normalization, essentially	2024-04-19	Paper
Useful Open Call-By-Need	2024-04-10	Paper
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic	2024-01-16	Paper
Types by need	2023-11-24	Paper
Types of fireballs	2023-08-02	Paper
The Negligible and Yet Subtle Cost of Pattern Matching	2022-12-09	Paper
Implementing open call-by-value	2022-11-04	Paper
A Fresh Look at the λ-Calculus	2022-07-18	Paper
Functional pearl: the distributive \(\lambda\)-calculus	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4992391	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q3388525	2021-05-05	Paper
Tight typings and split bounds, fully developed	2020-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111891	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111892	2020-05-27	Paper
(In)efficiency and reasonable cost models	2019-11-12	Paper
Types by Need (Extended Version)	2019-02-15	Paper
Proof nets and the linear substitution calculus	2018-11-23	Paper
Beta reduction is invariant, indeed	2018-04-23	Paper
On the Relative Usefulness of Fireballs	2018-04-23	Paper
On the value of variables	2017-09-04	Paper
Compressing Polarized Boxes	2017-07-03	Paper
Linear Logic and Strong Normalization	2017-02-01	Paper
Open Call-by-Value	2016-12-21	Paper
Distilling abstract machines	2016-09-29	Paper
The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus	2016-09-09	Paper
(Leftmost-outermost) beta reduction is invariant, indeed	2016-03-11	Paper
A Strong Distillery	2016-01-08	Paper
Proof nets and the call-by-value \(\lambda\)-calculus	2015-12-08	Paper
On the Value of Variables	2015-01-13	Paper
A nonstandard standardization theorem	2014-04-10	Paper
Proof Pearl: Abella Formalization of λ-Calculus Cube Property	2013-04-19	Paper
Call-by-Value Solvability, Revisited	2012-07-20	Paper
The Permutative λ-Calculus	2012-06-15	Paper
Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus	2012-04-03	Paper
The Structural λ-Calculus	2010-09-03	Paper
Jumping Boxes	2009-11-12	Paper

Research outcomes over time

This page was built for person: Beniamino Accattoli