38 treff

Computability over the partial continuous functionals
Normann, Dag
Bok Engelsk 1998 · Les boka på nett
The continuous functionals of finite types over the reals
Normann, Dag
Bok Engelsk 1998 · Les boka på nett
Categories of domains with totality
by Dag Normann
Bok Engelsk 1997
Continuity, proof systems and the theory of transfinite computations
by Dag Normann
Bok Engelsk 1996
A Mahlo-universe of effective domains with totality
Dag Normann
Bok Engelsk 1996 · Les boka på nett
Representation theorems for transfinite computability and definability
by Dag Normann
Bok Engelsk 1996 · Les boka på nett
Total objects in inductivly defined types★
Kristiansen, Lill
Bok Engelsk 1995
Hereditarily effective typestreams★
Normann, Dag
Bok Engelsk 1995 · Les boka på nett
A hierarchy of domains with totality, but without density
by Dag Normann
Bok Engelsk 1994 · Les boka på nett
Interpreting higher computations as types with totality
by Lill Kristiansen and Dag Normann
Bok Engelsk 1992
Wellfounded and non-wellfounded types of continuous functionals
by Dag Normann
Bok Engelsk 1992
On totality
by Dag Normann
Bok Språk ikke angitt 1987
Matematiske grunnlagsspørsmål : hvis vi vil kan vi alltids vise [at] A [medfører] B ved å bruke et indirekte kontrapositivt induksjonsbevis
Dag Normann
Bok Bokmål 1986 · Les boka på nett
Embeddability of ptykes
by Dag Normann, Jean-Yves Girard
Bok Språk ikke angitt 1984
The recursion theory of ptykes
by Dag Normann
Bok Språk ikke angitt 1984
Set recursion and π1/2-logic
by Jean-Yves Girard, Dag Normann
Bok Språk ikke angitt 1983
Effective cofinalities and admissibility in E-recursion
by E. R. Griffor and D. Normann
Bok Språk ikke angitt 1982 · Les boka på nett
Recursive enumerability and indexicality in E-recursion
E. R. Griffor and D. Normann
Bok Språk ikke angitt 1981
Characterizing the continuous functionals
by Dag Normann
Bok Språk ikke angitt 1981 · Les boka på nett
A non-standard treatment of the equation y' = f(y,t)
by Bent Birkeland, Dag Normann
Bok Språk ikke angitt 1980
The continuous functionals, computations, recursions and degrees
by Dag Normann
Bok Engelsk 1980
Recursion on the countable functionals
Dag Normann
Bok Språk ikke angitt 1980
Non-obtainable continuous functionals
by Dag Normann
Bok Engelsk 1979
The I-section of a countable functional
by Dag Normann and Stan S. Wainer
Bok Engelsk 1978
Countable functionals and the analytic hierarchy
Normann, Dag
Bok Engelsk 1977
A jump operator in set recursion
Normann, Dag
Bok Engelsk 1977
Characterization problems in higher type recursion theory
Normann, Dag
Bok Engelsk 1976
Matematisk analyse I : kommentarer til Knut Sydsæter: Matematisk analyse I
Normann, Dag
Bok Bokmål 1976
On a problem of S. Wainer : (the real ordinal of the I-section of a continuous functional)
Normann, Dag
Bok Engelsk 1976
Models for recursion theory
by Johan Moldestad and Dag Normann
Bok Engelsk 1975