Volume 69, 2002 Category Theory and Computer Science (CTCS'02), August 2002
: A Categorical Semantics of Higher Order Store.
Paul Blain Levy
: Adjunction Models For Call-By-Push-Value With Stacks.
: Classifying categories for partial equational logic.
: Local Compactness and the Baire Category Theorem in Abstract Stone Duality.