Login / Signup

A Fully Abstract Denotational Model for Observational Precongruence.

Anna IngólfsdóttirAndrea Schalk
Published in: CSL (1995)
Keyphrases