OLAS: Fondements opérationnels, logiques et algébriques des systèmes logiciels

most citedrevTPL: The Reversible Temporal Process Language

4 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Beniamino Accattoli1 · h 22
C. A. Mezzina1 · h 17
G. Vanoni1 · h 6
Ivan Lanese1 · h 34
L. Bocchi1 · h 19
Shoji Yuen1 · h 13
Ugo Dal Lago1 · h 30

collaborating institutions

University of BolognaIT2 papers
Centre National de la Recherche ScientifiqueFR1 paper
École PolytechniqueFR1 paper
Institut de Recherche en Informatique FondamentaleFR1 paper
Institut national de recherche en sciences et technologies du numériqueFR1 paper
Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
Nagoya UniversityJP1 paper
PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTionFR1 paper
Sorbonne Paris CitéFR1 paper
Université Paris CitéFR1 paper
University of KentGB1 paper
University of UrbinoIT1 paper

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

Reasonable Space for the $λ$ -Calculus, Logarithmically

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Can the $λ$ -calculus be considered a reasonable computational model? Can we use it for measuring the time $and$ space consumption of algorithms? While the literature conta…

Reasonable Space for the λ-Calculus, Logarithmically

Reasonable Space for the $λ$ -Calculus, Logarithmically