On Computational Complexity in Weakly Admissible Structures. - Viggo Stoltenberg-Hansen (J. Symb. Log., 1980)

Complete Local Rings as Domains. - Viggo Stoltenberg-Hansen; John V. Tucker (J. Symb. Log., 1988)

Domain Interpretations of Martin-Löf's Partial Type Theory. - Erik Palmgren; Viggo Stoltenberg-Hansen (Ann. Pure Appl. Log., 1990)

Algebraic and Fixed Point Equations over Inverse Limits of Algebras. - Viggo Stoltenberg-Hansen; John V. Tucker (Theor. Comput. Sci., 1991)

Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. - Viggo Stoltenberg-Hansen; John V. Tucker (REX Workshop, 1992)

Remarks on Martin-Löf's Partial Type Theory. - Erik Palmgren; Viggo Stoltenberg-Hansen (BIT, 1992)

Mathematical theory of domains. - Viggo Stoltenberg-Hansen; Ingrid Lindström; Edward R. Griffor (Cambridge University Press, 1994)

Logically Presented Domains - Erik Palmgren; Viggo Stoltenberg-Hansen (LICS, 1995)

A Logical Presentation of the Continuous Functionals. - Erik Palmgren; Viggo Stoltenberg-Hansen (J. Symb. Log., 1997)

Representability of Locally Compact Regular Spaces by Domains and Formal Spaces. - Inger Sigstam; Viggo Stoltenberg-Hansen (Theor. Comput. Sci., 1997)

Streams, Stream Transformers and Domain Representations. - Jens Blanck; Viggo Stoltenberg-Hansen; John V. Tucker (Prospects for Hardware Foundations, 1998)

Computable Rings and Fields. - Viggo Stoltenberg-Hansen; John V. Tucker (Handbook of Computability Theory, 1999)

Hyperfinite Type Structures. - Dag Normann; Erik Palmgren; Viggo Stoltenberg-Hansen (J. Symb. Log., 1999)

Concrete Models of Computation for Topological Algebras. - Viggo Stoltenberg-Hansen; John V. Tucker (Theor. Comput. Sci., 1999)

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. - Jens Blanck; Viggo Stoltenberg-Hansen; John V. Tucker (Theor. Comput. Sci., 2002)

Computable and continuous partial homomorphisms on metric partial algebras. - Viggo Stoltenberg-Hansen; John V. Tucker (Bull. Symb. Log., 2003)

Two categories of effective continuous cpos. - Göran Hamrin; Viggo Stoltenberg-Hansen (Theor. Comput. Sci., 2006)

Stability for Effective Algebras. - Jens Blanck; Viggo Stoltenberg-Hansen; John V. Tucker (CCA, 2008)

Stability of representations of effective partial algebras. - Jens Blanck; Viggo Stoltenberg-Hansen; John V. Tucker (Math. Log. Q., 2011)