Bunch theory: A simple set theory for computer science

DOI10.1016/0020-0190(81)90071-5zbMath0454.68039OpenAlexW1967919774WikidataQ56157600 ScholiaQ56157600MaRDI QIDQ1149770

Eric C. R. Hehner

Publication date: 1981

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(81)90071-5

zbMATH Keywords

programming languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence (68T99) Applications of set theory (03E75) Nonclassical and second-order set theories (03E70) General topics in the theory of software (68N01) Theory of computing (68Q99)

Related Items (3)

A unification of probabilistic choice within a design-based model of reversible computation ⋮ Semantics of algorithmic languages ⋮ BGSL: an imperative language for specification and refinement of backtracking programs

This page was built for publication: Bunch theory: A simple set theory for computer science