Dag Normann

Normann in 2007 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
Showing 1 - 2 results of 2 for search 'Normann, Dag', query time: 0.02s Refine Results
  1. 1
    Higher-Order Computability
    by Longley, John, Normann, Dag
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
    Published 2011
    Other Authors: “…Normann, Dag…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search