Volume 58, Number 1, 2001
Mechanized Reasoning about Languages with Variable Binding, Siena, 18/6/2001, held in connection with IJCAR 2001
: A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations.
: Developing (Meta)Theory of Lambda-calculus in the Theory of Context.
: Encoding Generic Judgments: Preliminary results.
: A Third-Order Representation of the lambda-mu-Calculus.
Volume 58, Number 2, 2001
4th International Workshop on Strategies in Automated Deduction
(STRATEGIES 2001) - Selected Papers, Siena, Italy, June 18, 2001