View of A Fully Abstract Denotational Model for Observational Congruence

Return to Article Details A Fully Abstract Denotational Model for Observational Congruence Download Download PDF