Concepedia

D. Normann

DN

3

Publications

99

Citations

3

H-Index

1994

Active since

Affiliations

University of Oslo(Current)

D. Normann is an author at University of Oslo specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

Publications per year

1994–2007

3

Publications

3

Logical Approaches to Computational Barriers: CiE 2006

Arnold Beckmann, Benedikt Löwe, D. Normann · Journal of Logic and Computation · 2007 · 74 citations

, , +16

Closing the gap between the continuous functionals and recursion in $^3E$

D. Normann · Archive for Mathematical Logic · 1997 · 15 citations

,

Interpreting higher computations as types with totality

L. A. Kristiansen, D. Normann · Archive for Mathematical Logic · 1994 · 10 citations

, , +6

Rows per page

1–3 of 3