
Journals in DBLP
 Barney P. Hilken, David E. Rydeheard
A Theory of Classes: Proofs and Models. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:95127 [Journal]
 Benjamin C. Pierce
Intersection Types and Bounded Polymorphism. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:129193 [Journal]
 Virgil Emil Cazanescu, Grigore Rosu
Weak Inclusion Systems. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:195206 [Journal]
