Research papers

Complexity bounds on ARS characterizing complexity classes

MsC Thesis

pdf (revised August 21, 2004)

The Small Grzegorczyk Classes and the Typed lambda-Calculus

Co-Author: Lars Kristiansen
in: New Computational Paradigms (Proceedings, First Conference on Computability in Europe, CiE 2005), ed. S. Barry Cooper et.al. Springer 2005.

Two mathing stratifications of E^2_\star

pdf

Uendelighet, Cantor og Matematiske misforståelser

Notes for talk at 'Konferanse for norske matematikkstudenter', Trondheim 3-5 november 2006 (in Norwegian).

pdf-file