Semantical analysis of specification logic, 2

Parametricity and local variables

Journal of the ACM (JACM)

Abstract Models of Storage

Higher-Order and Symbolic Computation

A fibrational framework for possible-world semantics of Algol-like languages

Theoretical Computer Science

Monoidal Indeterminates and Categories of Possible Worlds

Electronic Notes in Theoretical Computer Science (ENTCS)

Monoidal indeterminates and categories of possible worlds

Theoretical Computer Science

An automata-theoretic model of idealized algol

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II