Mathematical Structures in Computer Science, Volume 11

Volume 11, Number 1, February 2001

Theory and applications of explicit substitutions

Volume 11, Number 2, April 2001

Volume 11, Number 3, June 2001

From the rules of logic to the logic of rules

Volume 11, Number 4, August 2001

Modalities in Type Theory

Volume 11, Number 5, October 2001

Volume 11, Number 6, December 2001