|
Journals in DBLP
- Benjamin C. Pierce, Davide Sangiorgi
Typing and Subtyping for Mobile Processes. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:409-453 [Journal]
- Adrian Fiech
Colimits in the Category DCPO. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:455-468 [Journal]
- Adriana B. Compagnoni, Benjamin C. Pierce
Higher-Order Intersection Types and Multiple Inheritance. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:469-501 [Journal]
|