Login / Signup

A fully abstract denotational semantics for the calculus of higher-order communicating systems.

Bent ThomsenSamson Abramsky
Published in: Theor. Comput. Sci. (2001)
Keyphrases
  • higher order
  • denotational semantics
  • artificial intelligence
  • data model
  • high order
  • communication channels