Login / Signup

Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi.

Marina Lenisa
Published in: TLCA (1997)
Keyphrases