
Search the dblp DataBase
Kathleen Milsted:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Sofoklis Efremidis, Didoe Prevedourou, L. Demounem, Kathleen Milsted, Han Zuidweg
TINAoriented Service Engineering Support to Service Composition and Federation. [Citation Graph (0, 0)][DBLP] IS&N, 1998, pp:409422 [Conf]
 Kathleen Milsted
OMT Object Models of Telecommunications Services. [Citation Graph (0, 0)][DBLP] IS&N, 1995, pp:369379 [Conf]
 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambdacalculus (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1993, pp:614 [Conf]
 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:292299 [Conf]
 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
Coherence and transitivity of subtyping as entailment. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2000, v:10, n:4, pp:493526 [Journal]
 Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and Parametricity in the Polymorphic lambdaCalculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:323349 [Journal]
Search in 0.014secs, Finished in 0.014secs
