An approach to deciding observational equivalence of Algol-like languages

Cached

Download Links

by C. -h. L. Ong
Venue:Annals of Pure and Applied Logic
Citations:4 - 1 self