 | 2000 |
|---|
| 6 |       | Giuseppe Longo,
Kathleen Milsted,
Sergei Soloviev:
Coherence and transitivity of subtyping as entailment.
J. Log. Comput. 10(4): 493-526 (2000) |
| 1998 |
|---|
| 5 |  | Sofoklis Efremidis,
Didoe Prevedourou,
L. Demounem,
Kathleen Milsted,
Han Zuidweg:
TINA-oriented Service Engineering Support to Service Composition and Federation.
IS&N 1998: 409-422 |
| 1995 |
|---|
| 4 | | Kathleen Milsted:
OMT Object Models of Telecommunications Services.
IS&N 1995: 369-379 |
| 3 | | Giuseppe Longo,
Kathleen Milsted,
Sergei Soloviev:
A Logic of Subtyping (Extended Abstract)
LICS 1995: 292-299 |
| 1993 |
|---|
| 2 | | Giuseppe Longo,
Kathleen Milsted,
Sergei Soloviev:
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)
LICS 1993: 6-14 |
| 1 | | Giuseppe Longo,
Kathleen Milsted,
Sergei Soloviev:
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus.
Theor. Comput. Sci. 121(1&2): 323-349 (1993) |
