A maximal monoidal closed category of distributive algebraic domains

DOI10.1006/INCO.1995.1002zbMath0818.68112OpenAlexW2057947698MaRDI QIDQ1346712

Michael Huth

Publication date: 10 April 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1002

zbMATH Keywords

categorical semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Related Items (2)

The largest cartesian closed category of stable domains ⋮ Quasi-prime algebraic domains

This page was built for publication: A maximal monoidal closed category of distributive algebraic domains