Viggo Stoltenberg-Hansen

Publication Activity (10 Years)

Years Active: 1980-2011
Publications (10 Years): 0

Publications

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability of representations of effective partial algebras. Math. Log. Q. 57 (2) (2011)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability for Effective Algebras. Electron. Notes Theor. Comput. Sci. 221 (2008)
Göran Hamrin, Viggo Stoltenberg-Hansen
Two categories of effective continuous cpos. Theor. Comput. Sci. 365 (3) (2006)
Viggo Stoltenberg-Hansen, John V. Tucker
Computable and continuous partial homomorphisms on metric partial algebras. Bull. Symb. Log. 9 (3) (2003)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theor. Comput. Sci. 284 (2) (2002)
Viggo Stoltenberg-Hansen, John V. Tucker
Concrete Models of Computation for Topological Algebras. Theor. Comput. Sci. 219 (1-2) (1999)
Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen
Hyperfinite Type Structures. J. Symb. Log. 64 (3) (1999)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations (1998)
Erik Palmgren, Viggo Stoltenberg-Hansen
A Logical Presentation of the Continuous Functionals. J. Symb. Log. 62 (3) (1997)
Inger Sigstam, Viggo Stoltenberg-Hansen
Representability of Locally Compact Regular Spaces by Domains and Formal Spaces. Theor. Comput. Sci. 179 (1-2) (1997)
Erik Palmgren, Viggo Stoltenberg-Hansen
Logically Presented Domains LICS (1995)
Viggo Stoltenberg-Hansen, John V. Tucker
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. REX Workshop (1992)
Erik Palmgren, Viggo Stoltenberg-Hansen
Remarks on Martin-Löf's Partial Type Theory. BIT 32 (1) (1992)
Viggo Stoltenberg-Hansen, John V. Tucker
Algebraic and Fixed Point Equations over Inverse Limits of Algebras. Theor. Comput. Sci. 87 (1) (1991)
Erik Palmgren, Viggo Stoltenberg-Hansen
Domain Interpretations of Martin-Löf's Partial Type Theory. Ann. Pure Appl. Log. 48 (2) (1990)
Viggo Stoltenberg-Hansen, John V. Tucker
Complete Local Rings as Domains. J. Symb. Log. 53 (2) (1988)
Viggo Stoltenberg-Hansen
On Computational Complexity in Weakly Admissible Structures. J. Symb. Log. 45 (2) (1980)