Giulio Guerrieri

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

2018 · EasyChair preprint

We investigate the possibility of a semantic account of the execution time (i.e. the number of beta v-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's untyped call-by-value …

The Benefits of Diligence

2024 · Lecture notes in computer science

Abstract This paper studies the strength of embedding Call-by-Name () and Call-by-Value () into a unifying framework called the Bang Calculus (). These embeddings enable establishing (static and dynamic) properties of and through their respective …