| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 7 |      | 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 | | Misao Nagayama, Mitsuhiro Okada: A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. Electr. Notes Theor. Comput. Sci. 3: 153 (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) |
| 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
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page