Viggo Stoltenberg-Hansen

19 papers A* 1C 1Journal 13Unranked 2

Year	Rank	Type	Title / 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