Login / Signup

The enriched effect calculus: syntax and semantics.

Jeff EggerRasmus Ejlers MøgelbergAlex Simpson
Published in: J. Log. Comput. (2014)
Keyphrases
  • data sets
  • real world
  • website