A type theoretic interpretation of constructive domain theory

DOI10.1007/BF00252182zbMath0861.03009MaRDI QIDQ1923827

Michael Hedberg

Publication date: 13 October 1996

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

constructive type theorysemilattices\(\lambda\)-calculusCartesian closed categorydomainapproximable mappingsinteractive proof assistant ALF

Mathematics Subject Classification ID

Related Items (2)

Apartness, sharp elements, and the Scott topology of domains ⋮ Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation

Cites Work

• Normalising the associative law: An experiment with Martin-Löf's type theory
• Domain interpretations of Martin-Löf's partial type theory
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A type theoretic interpretation of constructive domain theory