An operational domain-theoretic treatment of recursive types.
Saved in:
| Title: | An operational domain-theoretic treatment of recursive types. |
|---|---|
| Authors: | HO, WENG KIN1 |
| Source: | Mathematical Structures in Computer Science. Feb2014, Vol. 24 Issue 1, p1-59. 59p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
