PT Unknown
AU Odersky, M
TI A syntactic method for proving observational equivalences
SE Research report. Department of Computer Science, Yale University
PY 1996
DI 10.5445/IR/368696
LA english
ER