Login / Signup

A fully abstract denotational model for observational precongruence.

Anna IngólfsdóttirAndrea Schalk
Published in: Theor. Comput. Sci. (2001)
Keyphrases