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

DOI10.1023/A:1008632017116zbMath0933.03078OpenAlexW1503914388MaRDI QIDQ1306706

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)

Related Items (2)

Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.

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