A note on conditional expressions

DOI10.1145/359642.359650zbMath0386.68010OpenAlexW2015770401MaRDI QIDQ4167526

David S. Wise, Daniel P. Friedman

Publication date: 1978

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359642.359650

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

A theory for nondeterminism, parallelism, communication, and concurrency

This page was built for publication: A note on conditional expressions