| |
| 2007 | ||
|---|---|---|
| 6 | EE | Masahiro Hamano, Philip J. Scott: A categorical semantics for polarized MALL. Ann. Pure Appl. Logic 145(3): 276-313 (2007) |
| 2005 | ||
| 5 | EE | Richard Blute, Masahiro Hamano, Philip J. Scott: Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Logic 131(1-3): 1-63 (2005) |
| 2004 | ||
| 4 | EE | Masahiro Hamano: Softness of MALL proof-structures and a correctness criterion with Mix. Arch. Math. Log. 43(6): 751-794 (2004) |
| 2001 | ||
| 3 | Masahiro Hamano: Z-modules and ful completeness of multiplicative linear logic. Ann. Pure Appl. Logic 107(1-3): 165-191 (2001) | |
| 2000 | ||
| 2 | Masahiro Hamano: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). Mathematical Structures in Computer Science 10(2): 231-259 (2000) | |
| 1997 | ||
| 1 | Masahiro Hamano, Mitsuhiro Okada: A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. Math. Log. Q. 43: 103-120 (1997) | |
| 1 | Richard Blute | [5] |
| 2 | Mitsuhiro Okada | [1] |
| 3 | Philip J. Scott | [5] [6] |