Open AccessPredicate Transformers and Linear Logic, yet another denotational model
Author(s) -
Pierre Hyvernat
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - denotational semantics of the actor model , computer science , programming language , predicate logic , transformer , predicate transformer semantics , denotational semantics , operational semantics , semantics (computer science) , electrical engineering , engineering , description logic , voltage