Misao Nagayama

Publication Activity (10 Years)

Years Active: 1992-2006
Publications (10 Years): 0

Publications

Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electron. Notes Theor. Comput. Sci. 161 (2006)
Misao Nagayama, Mitsuhiro Okada
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Theor. Comput. Sci. 294 (3) (2003)
Misao Nagayama, Mitsuhiro Okada
A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics. J. Symb. Log. 66 (4) (2001)
Sachio Hirokawa, Yuichi Komori, Misao Nagayama
A Lambda Proof of The P-W Theorem. J. Symb. Log. 65 (4) (2000)
Misao Nagayama, Mitsuhiro Okada
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
Misao Nagayama
On a property of BCK-identities. Stud Logica 53 (2) (1994)
Misao Nagayama
On Boolean Algebras and Integrally Closed Commutative Regular Rings. J. Symb. Log. 57 (4) (1992)