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

DOI10.1023/A:1008632017116zbMATH Open0933.03078OpenAlexW1503914388MaRDI QIDQ1306706FDOQ1306706

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

Recommendations

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

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)

Cited In (5)

• Applications of the Kleene-Kreisel density theorem to theoretical computer science
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• Title not available (Why is that?)
• Title not available (Why is that?)

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)