Author Search Results :: UTM Library Massive Scholar Tracking

Dag Normann

Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo. His research focuses on computability theory with an emphasis on mathematical models for typed algorithms and applications of the foundations of mathematics. Provided by Wikipedia

1

Banach Spaces as Data Types by Dag Normann

Published 2011-05-01

Get full text

Article
2

Comparing hierarchies of total functionals by Dag Normann

Published 2005-10-01

Get full text

Article
3

A rich hierarchy of functionals of finite types by Dag Normann

Published 2009-09-01

Get full text

Article
4

$The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$$

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$ by Dag Normann

Published 2018-03-01

Get full text

Article
5

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems by Dag Normann

Published 2015-03-01

Get full text

Article