Schalk, Andrea

• BRICS Report Series No. 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence - Articles
  A Fully Abstract Denotational Model for Observational Congruence
  Abstract  PDF