Observational equivalence of 3rd-order Idealized Algol is decidable (2002)

Cached

Download Links

by C. -h. L. Ong
Venue:In Proceedings of LICS’02. IEEE
Citations:11 - 2 self