Volume 172, April 2007 Computation, Meaning, and Logic:
Articles dedicated to Gordon Plotkin
: Access Control in a Core Calculus of Dependency.
, John Power
: The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.
: Structuring Operational Semantics: Simplification and Computation.
: Model-Checking Games for Typed lambda-Calculi.