|
Search the dblp DataBase
Kathleen Milsted:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sofoklis Efremidis, Didoe Prevedourou, L. Demounem, Kathleen Milsted, Han Zuidweg
TINA-oriented Service Engineering Support to Service Composition and Federation. [Citation Graph (0, 0)][DBLP] IS&N, 1998, pp:409-422 [Conf]
- Kathleen Milsted
OMT Object Models of Telecommunications Services. [Citation Graph (0, 0)][DBLP] IS&N, 1995, pp:369-379 [Conf]
- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1993, pp:6-14 [Conf]
- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
A Logic of Subtyping (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:292-299 [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:493-526 [Journal]
- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:323-349 [Journal]
Search in 0.002secs, Finished in 0.002secs
|