Journals in DBLP
Mario Coppo , Ferruccio Damiani Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:1-2 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]