Misao Nagayama

According to our database, Misao Nagayama authored at least 6 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

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

Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2003

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

Misao Nagayama, Mitsuhiro Okada

Theor. Comput. Sci., 2003

2001

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

Misao Nagayama, Mitsuhiro Okada

J. Symb. Log., 2001

2000

A Lambda Proof of The P-W Theorem.

Sachio Hirokawa, Yuichi Komori, Misao Nagayama

J. Symb. Log., 2000

1994

On a property of BCK-identities.

Misao Nagayama

Stud Logica, 1994

1992

On Boolean Algebras and Integrally Closed Commutative Regular Rings.

Misao Nagayama

J. Symb. Log., 1992