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