Login / Signup
A Coalgebraic Semantics of Subtyping.
Erik Poll
Published in:
CMCS (2000)
Keyphrases
</>
formal semantics
semantic information
semantic representation
transformation rules
logical language
database
case study
multiscale
default reasoning