A theory of bunches
From MaRDI portal
Publication:5941635
DOI10.1007/PL00013316zbMath0973.68048OpenAlexW1977333667MaRDI QIDQ5941635
Alexander Bunkenburg, Joseph M. Morris
Publication date: 20 August 2001
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00013316
Related Items (2)
Bunch theory: axioms, logic, applications and model ⋮ BGSL: an imperative language for specification and refinement of backtracking programs
This page was built for publication: A theory of bunches