Electronic Notes in Theoretical Computer Science, Volume 37

Volume 37, 2000

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