Misao Nagayama

发表

On a property of BCK-identities

Misao Nagayama, 1994, Stud Logica.

Light Logic and Polynomial Time Computation

Kazushige Terui, Misao Nagayama, K. Terui, 2004 .

A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic

Mitsuhiro Okada, Misao Nagayama, 1996, Electron. Notes Theor. Comput. Sci..

A Lambda Proof of The P-W Theorem

Sachio Hirokawa, Misao Nagayama, Yuichi Komori, 2000, J. Symb. Log..

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda

Giuseppe Rosolini, John Power, Martin Hyland, 2006, MFCSIT.

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

Mitsuhiro Okada, Misao Nagayama, 2003, Theor. Comput. Sci..

Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)

Misao Nagayama, 2003 .

A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics

Mitsuhiro Okada, Misao Nagayama, 2001, J. Symb. Log..

On Boolean Algebras and Integrally Closed Commutative Regular Rings

Misao Nagayama, 1992, J. Symb. Log..

A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

Giuseppe Rosolini, John Power, Martin Hyland, 2006 .

An NQTHM mechanization of An Exercise in the Verification of Multi-Process Programs

Misao Nagayama, Carolyn Talcott, C. Talcott, 1991 .