A Coalgebraic Semantics of Subtyping.

Published in: RAIRO Theor. Informatics Appl. (2001)

Keyphrases

formal semantics
logic programming
semantic information
databases
metadata
relational databases
semantic relationships
semantic representation