Volume 37, 2000

Type-theoretic Languages: Proof search and Semantics
in conjunction with CADE-17, CMU Pittsburgh, USA, 20-21 June 2000

• 
  Didier Galmiche: Preface. 1-2
• 
  David J. Pym: Notes Towards a Semantics for Proof-search. 1-18
• 
  Sachio Hirokawa, Daisuke Nagano: Long Normal Form Proof Search and Counter-Model Generation. 1-11
• 
  Nikos Mylonakis: Proof assistance for refinement in type theory. 1-21
• 
  Aleksey Nogin: Writing Constructive Proofs Yielding Efficient Extracted Programs. 1-17
• 
  James Harland, David J. Pym, Michael Winikoff: Forward and Backward Chaining in Linear Logic. 1-16
• 
  Didier Galmiche, J.-M. Notin: Proof-search and proof nets in Mixed Linear Logic. 1-33