Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for -calculi (0)

by M Lenisa