V. Stoltenberg-Hansen

发表

Viggo Stoltenberg-Hansen, Edward R. Griffor, Ingrid Lindström, 1994, Cambridge tracts in theoretical computer science.

Logicism, intuitionism, and formalism : what has become of them?

S. Lindström, K. Segerberg, V. Stoltenberg-Hansen, 2009 .

Distributor:DepartmentofMathematics,Box480,S-75106Uppsala,Sweden PrintedinSwedenbyReprocentralenHSC,Uppsala1997 ToJessicaAcknowledgements

J. V. Tucker, J. N. Crossley, V. Stoltenberg-Hansen, 2011 .

Computing Roots of Unity in Fields

J. V. Tucker, V. Stoltenberg-Hansen, 1980 .

Logicism, Intuitionism, and Formalism

S. Lindström, K. Segerberg, V. Stoltenberg-Hansen, 2009 .

Notes on Domain Theory ( Marktoberdorf 2001 )

V. Stoltenberg-Hansen, 2022 .

Cartesian Closed Categories of Effective Domains

V. Stoltenberg-Hansen, G. Hamrin, 2002 .

Computable Rings and Fields

Viggo Stoltenberg-Hansen, J. V. Tucker, Viggo Stoltenberg-Hansen, 1999, Handbook of Computability Theory.

Effective algebras

J. V. Tucker, V. Stoltenberg-Hansen, V. Stoltenberg-Hansen, 1995, Logic in Computer Science.

Rank inequalities in the theory of differentially closed fields

V. Stoltenberg-Hansen, J. Väänänen, W. Pong, 2016 .

Poincaré-Betti Series are Primitive Recursive

Viggo Stoltenberg-Hansen, Carl Jacobsson, V. Stoltenberg-Hansen, 1985 .

Stability of representations of effective partial algebras

J. V. Tucker, Jens Blanck, Viggo Stoltenberg-Hansen, 2011, Math. Log. Q..

Stability for Effective Algebras

J. V. Tucker, Jens Blanck, Viggo Stoltenberg-Hansen, 2008, CCA.

Two categories of effective continuous cpos

Göran Hamrin, Viggo Stoltenberg-Hansen, V. Stoltenberg-Hansen, 2006, Theor. Comput. Sci..

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry

Viggo Stoltenberg-Hansen, J. V. Tucker, Jens Blanck, 2002, Theor. Comput. Sci..

Concrete Models of Computation for Topological Algebras

Viggo Stoltenberg-Hansen, J. V. Tucker, V. Stoltenberg-Hansen, 1999, Theor. Comput. Sci..

Representability of Locally Compact Regular Spaces by Domains and Formal Spaces

Viggo Stoltenberg-Hansen, Inger Sigstam, V. Stoltenberg-Hansen, 1997, Theor. Comput. Sci..

Computability on Topological Spaces via Domain Representations

J. V. Tucker, John V. Tucker, Viggo Stoltenberg-Hansen, 2008 .

In: Handbook of Logic in Computer Science

Viggo Stoltenberg-hansen, V. Stoltenberg-Hansen, 1995 .

Complete local rings as domains

J. V. Tucker, Viggo Stoltenberg-Hansen, V. Stoltenberg-Hansen, 1988, Journal of Symbolic Logic (JSL).

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

Erik Palmgren, Viggo Stoltenberg-Hansen, Viggo Stoltenberg-Hansen, 1990, Ann. Pure Appl. Log..

Computable and continuous partial homomorphisms on metric partial algebras

J. V. Tucker, Viggo Stoltenberg-Hansen, Viggo Stoltenberg-Hansen, 2003, Bull. Symb. Log..

Streams, Stream Transformers and Domain Representations

Viggo Stoltenberg-Hansen, J. V. Tucker, Jens Blanck, 1998, Prospects for Hardware Foundations.

Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic

Jouko Väänänen, V. Stoltenberg-Hansen, V. Stoltenberg-Hansen, 2006 .

Finite injury arguments in infinite computation theories

Viggo Stoltenberg-Hansen, V. Stoltenberg-Hansen, 1979 .

Geometry of interaction IV: the feedback equation

Jean-Yves Girard, Jouko Väänänen, Viggo Stoltenberg-Hansen, 2006 .

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

Viggo Stoltenberg-Hansen, J. V. Tucker, V. Stoltenberg-Hansen, 1992, REX Workshop.

Algebraic and Fixed Point Equations over Inverse Limits of Algebras

Viggo Stoltenberg-Hansen, J. V. Tucker, V. Stoltenberg-Hansen, 1991, Theor. Comput. Sci..

Hyperfinite type structures

Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen, 1999, Journal of Symbolic Logic.

A logical presentation of the continuous functionals

Erik Palmgren, Viggo Stoltenberg-Hansen, V. Stoltenberg-Hansen, 1997, Journal of Symbolic Logic.

Logically presented domains

Erik Palmgren, Viggo Stoltenberg-Hansen, V. Stoltenberg-Hansen, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.