A Fully Abstract Denotational Model for Observational Congruence (1995)

by Anna Ingólfsdóttir , Andrea Schalk
Citations:2 - 0 self