Algebraic and fixed point equations over inverse limits of algebras

Abstract computability and algebraic specification

ACM Transactions on Computational Logic (TOCL)

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry

Theoretical Computer Science

Streams, Stream Transformers and Domain Representations

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Reducibility of domain representations and cantor–weihrauch domain representations

Mathematical Structures in Computer Science

A thread calculus with molecular dynamics

Information and Computation