Dag Normann profile picture

Dag Normann

Is this your author profile? Create an account to customize it!

Stand Alone

Logic Colloquium 2005
Non-obtainable Continuous Functionals
Recursion on the countable functionals (Lecture notes in mathematics ; 811)
Forcing Arguments and Some Degree-theoretic Problems in Higher Type Recursion Theory
Geometrical Approaches to Differential Equations Proceedings of the Fourth Scheveningen Conference on Differential Equations, the Netherlands, August 26-31, 1979
Characterizing the Continuous Functionals
Higher-Order Computability
Higher-Order Computability
Higher-Order Computability
Logic Colloquium 2005 (Lecture Notes in Logic)
Logic Colloquium 2005: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005