Viggo Stoltenberg-Hansen

2008
16	EE	Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker: Stability for Effective Algebras. Electr. Notes Theor. Comput. Sci. 221: 3-15 (2008)
2006
15	EE	Göran Hamrin, Viggo Stoltenberg-Hansen: Two categories of effective continuous cpos. Theor. Comput. Sci. 365(3): 216-236 (2006)
2003
14	EE	Viggo Stoltenberg-Hansen, J. V. Tucker: Computable and continuous partial homomorphisms on metric partial algebras. Bulletin of Symbolic Logic 9(3): 299-334 (2003)
2002
13	EE	Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker: Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theor. Comput. Sci. 284(2): 207-240 (2002)
1999
12		Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen: Hyperfinite Type Structures. J. Symb. Log. 64(3): 1216-1242 (1999)
11	EE	Viggo Stoltenberg-Hansen, J. V. Tucker: Concrete Models of Computation for Topological Algebras. Theor. Comput. Sci. 219(1-2): 347-378 (1999)
1998
10	EE	Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker: Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations 1998: 27-68
1997
9		Erik Palmgren, Viggo Stoltenberg-Hansen: A Logical Presentation of the Continuous Functionals. J. Symb. Log. 62(3): 1021-1034 (1997)
8	EE	Inger Sigstam, Viggo Stoltenberg-Hansen: Representability of Locally Compact Regular Spaces by Domains and Formal Spaces. Theor. Comput. Sci. 179(1-2): 319-331 (1997)
1995
7		Erik Palmgren, Viggo Stoltenberg-Hansen: Logically Presented Domains LICS 1995: 455-463
1992
6		Viggo Stoltenberg-Hansen, J. V. Tucker: Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. REX Workshop 1992: 531-562
5		Erik Palmgren, Viggo Stoltenberg-Hansen: Remarks on Martin-Löf's Partial Type Theory. BIT 32(1): 70-83 (1992)
1991
4		Viggo Stoltenberg-Hansen, J. V. Tucker: Algebraic and Fixed Point Equations over Inverse Limits of Algebras. Theor. Comput. Sci. 87(1): 1-24 (1991)
1990
3		Erik Palmgren, Viggo Stoltenberg-Hansen: Domain Interpretations of Martin-Löf's Partial Type Theory. Ann. Pure Appl. Logic 48(2): 135-196 (1990)
1988
2		Viggo Stoltenberg-Hansen, J. V. Tucker: Complete Local Rings as Domains. J. Symb. Log. 53(2): 603-624 (1988)
1980
1		Viggo Stoltenberg-Hansen: On Computational Complexity in Weakly Admissible Structures. J. Symb. Log. 45(2): 353-358 (1980)

Coauthor Index

1	Jens Blanck	[10] [13] [16]
2	Göran Hamrin	[15]
3	Dag Normann	[12]
4	Erik Palmgren	[3] [5] [7] [9] [12]
5	Inger Sigstam	[8]
6	J. V. Tucker (John V. Tucker)	[2] [4] [6] [10] [11] [13] [14] [16]

Colors in the list of coauthors