On the algebraic specification of infinite objects - ordered and continuous models of algebraic types

zbMath0563.68030MaRDI QIDQ1057642

Bernhard Möller

Publication date: 1985

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

zbMATH Keywords

complete latticeordered algebrascontinuous algebrasimplicative types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Algebraic logic (03G99)

Related Items (7)

A new generic scheme for functional logic programming with constraints ⋮ Algebraic specifications for domain theory ⋮ Combining data type and recursive process specifications using projection algebras ⋮ Rewrite, rewrite, rewrite, rewrite, rewrite, \dots ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Non-well-founded sets modeled as ideal fixed points ⋮ A Declarative Debugging System for Lazy Functional Logic Programs

This page was built for publication: On the algebraic specification of infinite objects - ordered and continuous models of algebraic types