Beniamino Accattoli

Available identifiers

zbMath Open accattoli.beniaminoMaRDI QIDQ897927

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Beniamino Accattoli