-
[文献書誌] J.Y.Girard.M.Okada.A.Scedrov: "Linear Logie Special Issne" Theoretical Computer Science. (to appear). 0-0 (1998)
-
[文献書誌] M.Okada.K.Terui: "The Finite Model Property for Various Fragments of Intuitionistic Linear Logic" J.Symbolic Logic. (to appear). 0-0 (1998)
-
[文献書誌] M.Sato: "Intuitionistic and Classical Natural Deduetion Systems with the Catch and Throw Rules" Theoretical Computer Science. (to appear). 0-0 (1998)
-
[文献書誌] J.P.Jouannaud,M.Okada: "Abstract Data Type Systems" Theoretical Computer Science. 173. 349-391 (1997)
-
[文献書誌] M.Hamano-M.Okada: "A Relationship Among Gentzen's Proof Reduction.Kirby-Paris Hydra Game and Buchholz's Hydra Game" Mathematical Logic Quarterly. 43. 103-120 (1997)
-
[文献書誌] M.Kanovitch, M.Okada, A.Scedrov: "Phase Semantics for Light Linear Logic" Electronic Notes of Theoretical Computer Science. 6. 1-14 (1997)
-
[文献書誌] M.Takahashi: "Types and Proofs" Mathematical Sciety of Japan, 000 (1998)
-
[文献書誌] 大堀淳: "プログラミング言語の基礎理論" 共立出版, 272 (1997)