Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.

Francesco Gavazzo

Browse the full LICS paper archive.