Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68170OpenAlexW2504714231MaRDI QIDQ5899099

James Laird

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items

A relational semantics for parallelism and non-determinism in a functional setting ⋮ Sequential algorithms for unbounded nondeterminism ⋮ Unnamed Item ⋮ A Relational Model of a Parallel and Non-deterministic λ-Calculus