An Abstract Account of Up-to Techniques for Inductive Behavioural Relations.

Davide Sangiorgi

Browse the full ISoLA paper archive.