Nondeterminism and Observable Sequentiality

DOI10.1007/978-3-642-04027-6_28zbMath1257.68049OpenAlexW1579289759MaRDI QIDQ3644761

James Laird

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_28

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequential algorithms on concrete data structures
• Fully abstract semantics for observably sequential languages
• Locally Boolean domains
• Bistable Biorders: A Sequential Domain Theory

This page was built for publication: Nondeterminism and Observable Sequentiality