Viggo Stoltenberg-Hansen

19 papers A* 1C 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2011 J jnl
Stability of representations of effective partial algebras.
Math. Log. Q.
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2008 C conf
Stability for Effective Algebras.
CCA
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2006 J jnl
Two categories of effective continuous cpos.
Theor. Comput. Sci.
Göran Hamrin, Viggo Stoltenberg-Hansen
2003 J jnl
Computable and continuous partial homomorphisms on metric partial algebras.
Bull. Symb. Log.
Viggo Stoltenberg-Hansen, John V. Tucker
2002 J jnl
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
Theor. Comput. Sci.
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
1999 — ch.
Computable Rings and Fields.
Handbook of Computability Theory
Viggo Stoltenberg-Hansen, John V. Tucker
1999 J jnl
Concrete Models of Computation for Topological Algebras.
Theor. Comput. Sci.
Viggo Stoltenberg-Hansen, John V. Tucker
1999 J jnl
Hyperfinite Type Structures.
J. Symb. Log.
Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen
1998 — conf
Streams, Stream Transformers and Domain Representations.
Prospects for Hardware Foundations
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
1997 J jnl
A Logical Presentation of the Continuous Functionals.
J. Symb. Log.
Erik Palmgren, Viggo Stoltenberg-Hansen
1997 J jnl
Representability of Locally Compact Regular Spaces by Domains and Formal Spaces.
Theor. Comput. Sci.
Inger Sigstam, Viggo Stoltenberg-Hansen
1995 A* conf
Logically Presented Domains
LICS
Erik Palmgren, Viggo Stoltenberg-Hansen
1994 — book
Mathematical theory of domains.
Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor
1992 — conf
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.
REX Workshop
Viggo Stoltenberg-Hansen, John V. Tucker
1992 J jnl
Remarks on Martin-Löf's Partial Type Theory.
BIT
Erik Palmgren, Viggo Stoltenberg-Hansen
1991 J jnl
Algebraic and Fixed Point Equations over Inverse Limits of Algebras.
Theor. Comput. Sci.
Viggo Stoltenberg-Hansen, John V. Tucker
1990 J jnl
Domain Interpretations of Martin-Löf's Partial Type Theory.
Ann. Pure Appl. Log.
Erik Palmgren, Viggo Stoltenberg-Hansen
1988 J jnl
Complete Local Rings as Domains.
J. Symb. Log.
Viggo Stoltenberg-Hansen, John V. Tucker
1980 J jnl
On Computational Complexity in Weakly Admissible Structures.
J. Symb. Log.
Viggo Stoltenberg-Hansen