Accattoli, Dal Lago, and Vanoni have recently proved that the space used by the Space
KAM, a variant of the Krivine abstract machine, is a reasonable space cost model for the λ …

Evaluating higher-order functional programs through abstract machines inspired by the
geometry of the interaction is known to induce space efficiencies, the price being time …

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 contains …

Bayesian networks are graphical first-order probabilistic models that allow for a compact
representation of large probability distributions, and for efficient inference, both exact and …

Bayesian networks (BNs) are graphical\emph {first-order} probabilistic models that allow for
a compact representation of large probability distributions, and for efficient inference, both …

We present the first formalization of Milner's classic translation of the λ-calculus into the π-
calculus. It is a challenging result with respect to variables, names, and binders, as it …

We propose a notion of preorder-constrained simulation. It is parameterised by a preorder
(“observation preorder”) on traces, so that it can uniformly characterise quantitative notions …

We investigate the tree-to-tree functions computed by\enquote {affine $\lambda $-
transducers}: tree automata whose memory consists of an affine $\lambda $-term instead of …

Slot and van Emde Boas Invariance Thesis states that a time (respectively, space) cost
model is reasonable for a computational model C if there are mutual simulations between …

Abstract In [Furio Honsell et al., 2024], the authors have shown that linear application in
Geometry of Interaction (GoI) models of λ-calculus amounts to resolution between principal …