Quantified Modal Logic with Neighborhood Semantics. - Geir Waagbø (Math. Log. Q., 1992)

Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. - Geir Waagbø (Arch. Math. Log., 1999)

Limit spaces and transfinite types. - Dag Normann; Geir Waagbø (Arch. Math. Log., 2002)