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

✍ Scribed by Geir Waagbø

• Publisher: Springer
• Year: 1999
• Tongue: English
• Weight: 252 KB
• Volume: 38
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s001530050114