×
Compute Distance To:
Author ID: nagayama.misao Recent zbMATH articles by "Nagayama, Misao"
Published as: Nagayama, Misao
Documents Indexed: 9 Publications since 1992
Co-Authors: 6 Co-Authors with 6 Joint Publications
164 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 15 times in 15 Documents Cited by Year
A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus. Zbl 1276.03016
Hyland, Martin; Nagayama, Misao; Power, John; Rosolini, Giuseppe
9
2006
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046
Nagayama, Misao; Okada, Mitsuhiro
2
1996
On a property of BCK-identities. Zbl 0799.06032
Nagayama, Misao
2
1994
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
Nagayama, Misao; Okada, Mitsuhiro
1
2003
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051
Nagayama, Misao; Okada, Mitsuhiro
1
2001
A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus. Zbl 1276.03016
Hyland, Martin; Nagayama, Misao; Power, John; Rosolini, Giuseppe
9
2006
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Zbl 1029.03054
Nagayama, Misao; Okada, Mitsuhiro
1
2003
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics. Zbl 0994.03051
Nagayama, Misao; Okada, Mitsuhiro
1
2001
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. (Extended abstract). Zbl 0909.03046
Nagayama, Misao; Okada, Mitsuhiro
2
1996
On a property of BCK-identities. Zbl 0799.06032
Nagayama, Misao
2
1994

Citations by Year