Regular ArticleRelational Interpretations of Recursive Types in an Operational Setting☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
A summary of some of the results in this paper appeared in TACS '97.
- f1
E-mail: [email protected]; [email protected]
Copyright © 1999 Academic Press. All rights reserved.