L.: Observational equivalence of 3rd-order Idealized Algol is decidable (0)

by C-H Ong
Venue:In: Proceedings of LICS (2002) 245–256