Comparing approaches to free dcpo-algebra constructions

DOI10.1016/J.JLAP.2012.10.001zbMath1256.68115OpenAlexW2065178793WikidataQ114851541 ScholiaQ114851541MaRDI QIDQ1932346

Ingo Battenfeld

Publication date: 18 January 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.10.001

zbMATH Keywords

domain theorycomputational effectsfree algebra construction

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (1)

Unnamed Item

This page was built for publication: Comparing approaches to free dcpo-algebra constructions