Algebraic specifications for domain theory

DOI10.1007/BFb0028999zbMath1492.68084MaRDI QIDQ5096170

Friederike Nickl

Publication date: 16 August 2022

Published in: STACS 89 (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic domain equations
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• The Munich project CIP. Volume I: The wide spectrum language CIP-L

This page was built for publication: Algebraic specifications for domain theory