Journals in DBLP

Mathematical Structures in Computer Science
2003, volume: 13, number: 1

1. Pawel Urzyczyn
   A Simple Proof of the Undecidability of Strong Normalisation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:5-13 [Journal]
   
2. Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
   Intersection Types and lambda-Definability. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:15-53 [Journal]
   
3. Daniel J. Dougherty, Pierre Lescanne
   Reductions, Intersection Types, and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:55-85 [Journal]
   
4. Anindya Banerjee, Thomas P. Jensen
   Modular Control-Flow Analysis with Rank 2 Intersection Types. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:87-124 [Journal]
   
5. Christian Mossin
   Exact Flow Analysis. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:125-156 [Journal]
   
6. Ferruccio Damiani
   A Conjunctive Type System for Useless-Code Elimination. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:157-197 [Journal]