Mitsu Okada Personal Published Papers.
(Japanese Page)

Paper Lists

The icon indicates FTPable paper. Click this icons to get the paper.

1. Mitsu Okada, "Mobile Liner Logic as Framework for Asynchronous and Synchronous Mobile Communucation Calculi", 1992.
2. Mitsu Okada, "Girard's Phase Semantics and a Higher Order Cut-Elimination Proof", 1994.
3. Mitsu Okada, "Brouwer's Apartness Condition, Co-implication and Linear Logic", 1995.
4. Mitsu Okada, "A Provability Interpretation of Implication and Justification of Logical Inferences", 1995.
5. Misao Nagayama and Mitsu Okada, "A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic", 1995.