Geir Waagbø

According to our database, Geir Waagbø authored at least 3 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Limit spaces and transfinite types.

Dag Normann, Geir Waagbø

Arch. Math. Log., 2002

1999

Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.

Geir Waagbø

Arch. Math. Log., 1999

1992

Quantified Modal Logic with Neighborhood Semantics.

Geir Waagbø

Math. Log. Q., 1992