Dag Normann
Affiliations:- University of Oslo, Norway
According to our database1,
Dag Normann
authored at least 57 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on folk.uio.no
-
on andrej.com
On csauthors.net:
Bibliography
2024
2022
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
2021
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis.
J. Log. Comput., 2021
2020
Ann. Pure Appl. Log., 2020
2019
J. Symb. Log., 2019
J. Math. Log., 2019
Ann. Pure Appl. Log., 2019
2018
David Marker, Lectures on Infinitary Model Theory - Series: Lecture Notes in Logic, Vol. 46 2016, pp. 192. ISBN-13: 978-1107181939.
Stud Logica, 2018
Log. Methods Comput. Sci., 2018
Proceedings of the Sailing Routes in the World of Computation, 2018
2015
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems.
Log. Methods Comput. Sci., 2015
Theory and Applications of Computability, Springer, ISBN: 978-3-662-47992-6, 2015
2014
Proceedings of the Turing's Legacy: Developments from Turing's Ideas in Logic, 2014
2013
2012
2011
2009
2008
Proceedings of the Logic and Theory of Algorithms, 2008
2007
2006
Bull. Symb. Log., 2006
2005
2004
2002
Theor. Comput. Sci., 2002
A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals.
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002
Arch. Math. Log., 2002
Arch. Math. Log., 2002
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
2000
1999
Proceedings of the Handbook of Computability Theory, 1999
1998
Proceedings of the Workshop on Domains IV 1998, 1998
Proceedings of the Workshop on Domains IV 1998, 1998
1997
Closing the gap between the continuous functionals and recursion in <sup>3</sup><i>E</i>.
Arch. Math. Log., 1997
1994
1992
1985
1984
1983
1981
1980
1979
1978
1976