Viggo Stoltenberg-Hansen

According to our database, Viggo Stoltenberg-Hansen authored at least 19 papers between 1980 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Stability of representations of effective partial algebras.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Math. Log. Q., 2011

2008

Stability for Effective Algebras.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

2006

Two categories of effective continuous cpos.

Göran Hamrin, Viggo Stoltenberg-Hansen

Theor. Comput. Sci., 2006

2003

Computable and continuous partial homomorphisms on metric partial algebras.

Viggo Stoltenberg-Hansen, John V. Tucker

Bull. Symb. Log., 2003

2002

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

1999

Concrete Models of Computation for Topological Algebras.

Viggo Stoltenberg-Hansen, John V. Tucker

Theor. Comput. Sci., 1999

Hyperfinite Type Structures.

Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen

J. Symb. Log., 1999

Computable Rings and Fields.

Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Handbook of Computability Theory, 1999

1998

Streams, Stream Transformers and Domain Representations.

Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1997

Representability of Locally Compact Regular Spaces by Domains and Formal Spaces.

Inger Sigstam, Viggo Stoltenberg-Hansen

Theor. Comput. Sci., 1997

A Logical Presentation of the Continuous Functionals.

Erik Palmgren, Viggo Stoltenberg-Hansen

J. Symb. Log., 1997

1995

Logically Presented Domains

Erik Palmgren, Viggo Stoltenberg-Hansen

Proceedings of the Proceedings, 1995

1994

Mathematical theory of domains.

Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor

Cambridge tracts in theoretical computer science 22, Cambridge University Press, ISBN: 978-0-521-38344-8, 1994

1992

Remarks on Martin-Löf's Partial Type Theory.

Erik Palmgren, Viggo Stoltenberg-Hansen

BIT, 1992

Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.

Viggo Stoltenberg-Hansen, John V. Tucker

Proceedings of the Sematics: Foundations and Applications, 1992

1991

Algebraic and Fixed Point Equations over Inverse Limits of Algebras.

Viggo Stoltenberg-Hansen, John V. Tucker

Theor. Comput. Sci., 1991

1990

Domain Interpretations of Martin-Löf's Partial Type Theory.

Erik Palmgren, Viggo Stoltenberg-Hansen

Ann. Pure Appl. Log., 1990

1988

Complete Local Rings as Domains.

Viggo Stoltenberg-Hansen, John V. Tucker

J. Symb. Log., 1988

1980

On Computational Complexity in Weakly Admissible Structures.

Viggo Stoltenberg-Hansen

J. Symb. Log., 1980