Augmenting types with unbounded demonic and angelic nondeterminacy
You are here
| Title | Augmenting types with unbounded demonic and angelic nondeterminacy |
| Publication Type | Journal Article |
| Year of Publication | 2005 |
| Authors | Morris J |
| Journal | Proc. Mathematics of Program Construction, Lecture Notes in Computer Science |
| Volume | 3125 |
| Date Published | 2005 |
