Yoko Motohama

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
-terms using intersection types. Theor. Comput. Sci. 340 (3) (2005)
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
The Semantics of Entailment Omega. Notre Dame J. Formal Log. 43 (3) (2002)
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
The Relevance of Semantic Subtyping. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11 (3) (2001)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS (2000)