On Boolean Algebras and Integrally Closed Commutative Regular Rings. - Misao Nagayama (J. Symb. Log., 1992)

On a property of BCK-identities. - Misao Nagayama (Stud Logica, 1994)

A Lambda Proof of The P-W Theorem. - Sachio Hirokawa; Yuichi Komori; Misao Nagayama (J. Symb. Log., 2000)

A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics. - Misao Nagayama; Mitsuhiro Okada (J. Symb. Log., 2001)

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. - Misao Nagayama; Mitsuhiro Okada (Theor. Comput. Sci., 2003)

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. - Martin Hyland; Misao Nagayama; John Power; Giuseppe Rosolini (MFCSIT, 2004)