
Journals in DBLP
Inf. Comput. 2002, volume: 179, number: 1
 Jerzy Tiuryn, Pawel Urzyczyn
The Subtyping Problem for SecondOrder Types Is Undecidable. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:1, pp:118 [Journal]
 Iliano Cervesato, Frank Pfenning
A Linear Logical Framework. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:1, pp:1975 [Journal]
 Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
A Fully Abstract Model for the [pi]calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:1, pp:76117 [Journal]
 Stephen D. Brookes
The Essence of Parallel Algol. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:1, pp:118149 [Journal]
