Density theorems for the domains-with-totality semantics of dependent types

DOI10.1023/A:1008632017116MaRDI QIDQ1306706zbMATH OpenOpenAlexFDO

Authors Ulrich Berger

Publication date 29 November 1999

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008632017116

zbMATH Keywords

semanticsdependent typesdensity theoremcontinuous functionalsparametrized domains with totalityuniverse operators

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 956826
• Nonflatness and totality
• Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality

Cited in

(7)

• Applications of the Kleene-Kreisel density theorem to theoretical computer science
• An adequacy theorem for dependent type theory
• Nonflatness and totality
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• scientific article; zbMATH DE number 1670478 (Why is no real title available?)
• scientific article; zbMATH DE number 1405571 (Why is no real title available?)

This page was built for publication: Density theorems for the domains-with-totality semantics of dependent types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306706)