Theoretical Computer Science, Volume 272

Refine list

showing all ?? records

Volume 272, Number 1-2, February 2002

Theories of Types and Proofs 1997, Tokyo, Japan, 8-18 September 1997
a service of  Schloss Dagstuhl - Leibniz Center for Informatics