Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality Geir Waagbø Pages: 19 - 60