Private Adress: Damveien 5, N-1415 Oppegård, Norway
Telephone:
Private: (+ 47) 66 99 35 68
Mobile: (+47) 41 25 02 05
Work: (+ 47) 22 85 59 53
Telefax: (+ 47) 22 85 43 49
e-mail: dnormann@math.uio.no
Associated with the Logic Group at the University of Oslo.
A rich hierarchy of functionals of finite types in pdf-format.
Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science in pdf-format.
On sequential functionals of type 3 in
pdf-format.
Has appeared in Mathematical Structures in Computer Science.
Computing with functionals - computability theory or computer science?
in pdf-format.
Has appeared in Bulletin of Symbolic Logic.
Om mulige og tilsynelatende umulige programmeringsoppgaver i pdf-format.
(In Norwegian) Has appeared in NORMAT.
Comparing hierarchies of total functionals as a postscript- or as an uppdated pdf-file.
Has appeared in Logical Methods in Computer Science.
Definability and reducibility in higher types over the reals as a postcript- or pdf- file.
Limit spaces and transfinite types The computational power of M-ω in postcripts-format.
The continuous functionals of finite types over the reals
Continuity, proof systems and the
theory of transfinite computations
Computability over the partial continuous functionals
Categories of domains with totality
A Mahlo-universe of effective domains with totality
Representation theorems for transfinite computability and definability
Last revision:
18/11-08.
Has appeared in Theoretical Computer Science
(Joint with Geir Waagbø.)
Has appeared in Archives for Mathematical Logic
(Joint with Christian Rørdam)
Has appeared in Mathematical Logic Quarterly
Has appeared in the proccedings of the first international symposium
on domain theory, Shanghai 1999.
Has appeared in Archives for mathematical Logic
Has appeared in Journal of Symbolic Logic
The paper has been revised and slimmed down, but
was never submitted for publication.
A slightly revised version is also available.
Has appeared in the proceedings of Logic Colloquium '97
Has appeared in Arcives for mathematical Logic