| Publication | Date of Publication | Type |
|---|
Stability for effective algebras
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Stability of representations of effective partial algebras
Mathematical Logic Quarterly | 2011-05-06 | Paper |
| scientific article; zbMATH DE number 5297230 (Why is no real title available?) | 2008-07-03 | Paper |
| Computability on topological spaces via domain representations | 2008-04-29 | Paper |
Two categories of effective continuous cpos
Theoretical Computer Science | 2006-12-07 | Paper |
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
| scientific article; zbMATH DE number 2110611 (Why is no real title available?) | 2004-10-26 | Paper |
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
Theoretical Computer Science | 2002-07-31 | Paper |
| Effective domains and concrete computability: A survey | 2002-03-07 | Paper |
| scientific article; zbMATH DE number 1390022 (Why is no real title available?) | 2000-09-20 | Paper |
Hyperfinite type structures
Journal of Symbolic Logic | 2000-06-22 | Paper |
Concrete models of computation for topological algebras
Theoretical Computer Science | 1999-06-21 | Paper |
Representability of locally compact regular spaces by domains and formal spaces
Theoretical Computer Science | 1998-07-22 | Paper |
A logical presentation of the continuous functionals
Journal of Symbolic Logic | 1998-02-02 | Paper |
Remarks on Martin-Löf's partial type theory
BIT | 1993-11-28 | Paper |
| scientific article; zbMATH DE number 107999 (Why is no real title available?) | 1993-01-23 | Paper |
Algebraic and fixed point equations over inverse limits of algebras
Theoretical Computer Science | 1992-06-26 | Paper |
Domain interpretations of Martin-Löf's partial type theory
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Complete local rings as domains
Journal of Symbolic Logic | 1988-01-01 | Paper |
Poincaré-Betti Series are Primitive Recursive
Journal of the London Mathematical Society | 1985-01-01 | Paper |
Finite alogorithmic procedures and computation theories.
MATHEMATICA SCANDINAVICA | 1980-01-01 | Paper |
Computing Roots of Unity in Fields
Bulletin of the London Mathematical Society | 1980-01-01 | Paper |
On computational complexity in weakly admissible structures
Journal of Symbolic Logic | 1980-01-01 | Paper |
Finite alogorithmic procedures and inductive definability.
MATHEMATICA SCANDINAVICA | 1980-01-01 | Paper |
Finite injury arguments in infinite computation theories
Annals of Mathematical Logic | 1979-01-01 | Paper |
