Fundamenta Informaticae, Volume 19

Volume 19, Number 1/2, September, October 1993

Special Issue: Lambda Calculus and Type Theory

Volume 19, Number 3/4, November, December 1993

maintained by Schloss Dagstuhl LZI at University of Trier