19 citations · 55 across the 22 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)
Giulio Guerrieri
We investigate the possibility of a semantic account of the execution time (i.e. the number of β_v-steps leading to the normal form, if any) for the shuffling calculus, an extensio…
cs.LO2018★ 1 cited
Types of Fireballs (Extended Version)
Beniamino Accattoli, Giulio Guerrieri
The good properties of Plotkin's call-by-value lambda-calculus crucially rely on the restriction to weak evaluation and closed terms. Open call-by-value is the more general setting…