Density Theorems for the Domains-with-Totality Semantics of Dependent Types.

Published in: Appl. Categorical Struct. (1999)

Keyphrases

real world
formal semantics
real time
logic programming
databases
data sets
search engine
database systems
relational databases
knowledge representation
semantic information
application domains
complex domains