Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy
You are here
| Title | Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Morris J |
| Conference Name | Mathematics of Program Construction ConferenceMathematics of Program Construction Conference |
| Date Published | 2004 |
| Conference Location | Stirling, Scotland |
| URL | https://sharepoint.lero.ie/Publications/2004/Conference%20Papers/2004-Morris-Augmenting%20Types%20with%20Unbounded%20Demonic.pdf |
