Geir Waagbø

Publication Activity (10 Years)

Years Active: 1992-2002
Publications (10 Years): 0

Publications

Dag Normann, Geir Waagbø
Limit spaces and transfinite types. Arch. Math. Log. 41 (6) (2002)
Geir Waagbø
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. Arch. Math. Log. 38 (1) (1999)
Geir Waagbø
Quantified Modal Logic with Neighborhood Semantics. Math. Log. Q. 38 (1) (1992)