Describing semantic domains with sprouts

DOI10.1007/BF00572989zbMath0681.68100OpenAlexW1970039233MaRDI QIDQ1823713

Rudolf Berghammer, Hans Zierer, Gunther Schmidt

Publication date: 1989

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00572989

zbMATH Keywords

denotational semanticscompact elementsordered setssprouts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Gunther Schmidt's life as a mathematician and computer scientist ⋮ On a generalized product for domains

Cites Work

• The largest Cartesian closed category of domains
• LCF considered as a programming language
• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Describing semantic domains with sprouts