activity
20172023
most citedQuantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems

3 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 1 cited

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)

Francesco Gavazzo

This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value -calculus with…