Geir Waagbø

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

2 EE Dag Normann, Geir Waagbø: Limit spaces and transfinite types. Arch. Math. Log. 41(6): 525-539 (2002)

1999

1 EE Geir Waagbø: Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. Arch. Math. Log. 38(1): 19-60 (1999)

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

Coauthor Index

1 Dag Normann [2]