A completeness result for a realisability semantics for an intersection type system.

Fairouz Kamareddine Karim Nour

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

formal semantics
data model
database
databases
information systems
semantic information
data quality
logical properties