Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 136, number:

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