Search
Results: 2
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...