岡田光弘の出版論文. (English Page)

論文リスト

このアイコンはFTPできることを示しています。 論文を取るにはこのアイコンをクリックして下さい。

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.