dblp.uni-trier.dewww.uni-trier.de

Geir Waagbø

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Dag Normann [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)