Didier Galmiche, editor, Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000. Volume 37 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. [doi]
Conference: cade2000
Abstract is missing.