dblp.uni-trier.de www.uni-trier.de

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

Copyright © Sat May 16 23:59:22 2009 by Michael Ley (ley@uni-trier.de)