Found 3 results
Filters: Author is Tyrrell, M. [Clear All Filters]
Modelling higher-order dual non determinacy. Acta Informatica. 45
.
2008. Dual unbounded nonteterminacy recursion and fixpoints. Acta Informatica. 44
.
2007. Terms with unbounded demonic and angelic nondeterminacy. Science of Computer Programming. 65
.
2007.