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

Theoretical Computer Science, Volume 272

Volume 272, Number 1-2, February 2002

Theories of Types and Proofs 1997, Tokyo, Japan, 8-18 September 1997

Copyright © Fri Mar 12 17:33:10 2010 by Michael Ley (ley@uni-trier.de)