Giulio Guerrieri (University of Bath

Identifiers

• name variant Giulio Guerrieri (University of Bath 0.50 · backfill

Papers (1)

1. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bath 1 shared papers
• Department of Computer Science 1 shared papers
• United Kingdom) 1 shared papers