Yoko Motohama

According to our database, Yoko Motohama authored at least 5 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Compositional characterisations of <i>lambda</i>-terms using intersection types.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama

Theor. Comput. Sci., 2005

2002

The Semantics of Entailment Omega.

Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama

Notre Dame J. Formal Log., 2002

The Relevance of Semantic Subtyping.

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama

Proceedings of the Intersection Types and Related Systems, 2002

2001

Approximation Theorems for Intersection Type Systems.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama

J. Log. Comput., 2001

2000

Compositional Characterizations of lambda-Terms Using Intersection Types.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000