Electronic Notes in Theoretical Computer Science, Volume 136

Volume 136, 19 July 2005

• Mario Coppo, Ferruccio Damiani:
  Preface. 1-2
  
• Fabio Alessi, Mariangiola Dezani-Ciancaglini:
  Type Preorders and Recursive Terms. 3-21
  
• Gérard Boudol, Pascal Zimmer:
  On Type Inference in the Intersection Type Discipline. 23-42
  
• Luigi Liquori, Simona Ronchi Della Rocca:
  Towards an Intersection Typed System à la Church. 43-56
  
• J. J. Hallett, Assaf J. Kfoury:
  Programming Examples Needing Polymorphic Recursion. 57-102
  
• Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca:
  Lazy Strong Normalization. 103-116
  
• Sergio Maffeis:
  Sequence Types for the pi-calculus. 117-132
  
• Daniel de Carvalho:
  Intersection Types for Light Affine Lambda Calculus. 133-152
  
• Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
  Intersection and Union Types in the lambda-my-my/tilde-calculus. 153-172
  
• Sébastien Carlier, J. B. Wells:
  Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. 173-202
  
• Steffen van Bakel:
  Intersection and Union Types for chi. 203-227