Nr. 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence

Publiceret: 1995-06-10

Artikler