The following pages link to Beniamino Accattoli (Q897927):
Displaying 35 items.
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- Proof nets and the linear substitution calculus (Q1623116) (← links)
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← links)
- Implementing open call-by-value (Q2093145) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- On the value of variables (Q2401632) (← links)
- (Leftmost-Outermost) Beta Reduction is Invariant, Indeed (Q2794671) (← links)
- Distilling abstract machines (Q2819700) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus (Q2881096) (← links)
- The Permutative λ-Calculus (Q2891437) (← links)
- Call-by-Value Solvability, Revisited (Q2900255) (← links)
- On the Value of Variables (Q2938129) (← links)
- Linear Logic and Strong Normalization (Q2958373) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q3388525) (← links)
- A Strong Distillery (Q3460910) (← links)
- The Structural λ-Calculus (Q3586054) (← links)
- Jumping Boxes (Q3644740) (← links)
- Beta reduction is invariant, indeed (Q4635589) (← links)
- On the Relative Usefulness of Fireballs (Q4635799) (← links)
- Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)
- (Q4992391) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5111891) (← links)
- (Q5111892) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Compressing Polarized Boxes (Q5271080) (← links)
- A nonstandard standardization theorem (Q5408457) (← links)
- Types by need (Q6070792) (← links)
- Useful Open Call-By-Need (Q6124931) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Types of fireballs (Q6166135) (← links)
- Types by Need (Extended Version) (Q6314124) (← links)
