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 · Les boka på nett
Continuity, proof systems and the theory of transfinite computations
by Dag Normann
Bok Engelsk 1996 · Les boka på nett
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 · Les boka på nett
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 · Les boka på nett
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 · Les boka på nett
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 · Les boka på nett
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 · Les boka på nett