| 2002 | ||
|---|---|---|
| 2 | Dag Normann, Geir Waagbø: Limit spaces and transfinite types. Arch. Math. Log. 41(6): 525-539 (2002) | |
| 1999 | ||
| 1 | Geir Waagbø: Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. Arch. Math. Log. 38(1): 19-60 (1999) | |
| 1 | Dag Normann | [2] |