Search filters

List of works by Beniamino Accattoli

(In)Efficiency and Reasonable Cost Models

scientific article published on 30 October 2018

Call-by-Value Solvability, Revisited

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

scientific article published on 04 August 2022

Multi types and reasonable space

scientific article published in 2022

Preface

scientific article published on 24 August 2019

The Space of Interaction

scientific article published on 07 July 2021

The theory of call-by-value solvability

scientific article published in 2022

Paulina is supported by:

About Paulina

Help