Algebraic specifications for domain theory
From MaRDI portal
Publication:5096170
DOI10.1007/BFb0028999zbMath1492.68084MaRDI QIDQ5096170
Publication date: 16 August 2022
Published in: STACS 89 (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Continuous lattices and posets, applications (06B35)
Cites Work
This page was built for publication: Algebraic specifications for domain theory