Search the dblp DataBase

Publications of Author

1. Masahiro Hamano
   Softness of MALL proof-structures and a correctness criterion with Mix. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:6, pp:751-794 [Journal]
   
2. Richard Blute, Masahiro Hamano, Philip J. Scott
   Softness of hypercoherences and MALL full completeness. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:1-63 [Journal]
   
3. Masahiro Hamano
   Z-modules and ful completeness of multiplicative linear logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:107, n:1-3, pp:165-191 [Journal]
   
4. Masahiro Hamano, Philip J. Scott
   A categorical semantics for polarized MALL. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2007, v:145, n:3, pp:276-313 [Journal]
   
5. Masahiro Hamano, Mitsuhiro Okada
   A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1997, v:43, n:, pp:103-120 [Journal]
   
6. Masahiro Hamano
   Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:231-259 [Journal]
   
7. 
   An Indexed System for Multiplicative Additive Polarized Linear Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   A direct independence proof of Buchholz's Hydra Game on finite labeled trees. [Citation Graph (, )][DBLP]