Misao Nagayama

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

Coauthor Index

1	Sachio Hirokawa	[4]
2	Martin Hyland (J. M. E. Hyland)	[7]
3	Yuichi Komori	[4]
4	Mitsuhiro Okada	[3] [5] [6]
5	John Power (A. John Power)	[7]
6	Giuseppe Rosolini	[7]

Colors in the list of coauthors