Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

James Laird

We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequen…