Masahiro Hamano

2008
8	EE	Masahiro Hamano, Ryo Takemura: An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL 2008: 262-277
2007
7	EE	Masahiro Hamano, Philip J. Scott: A categorical semantics for polarized MALL. Ann. Pure Appl. Logic 145(3): 276-313 (2007)
2005
6	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
5	EE	Masahiro Hamano: Softness of MALL proof-structures and a correctness criterion with Mix. Arch. Math. Log. 43(6): 751-794 (2004)
2001
4		Masahiro Hamano: Z-modules and ful completeness of multiplicative linear logic. Ann. Pure Appl. Logic 107(1-3): 165-191 (2001)
2000
3		Masahiro Hamano: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). Mathematical Structures in Computer Science 10(2): 231-259 (2000)
1998
2	EE	Masahiro Hamano, Mitsuhiro Okada: A direct independence proof of Buchholz's Hydra Game on finite labeled trees. Arch. Math. Log. 37(2): 67-89 (1998)
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)

Coauthor Index

1	Richard Blute	[6]
2	Mitsuhiro Okada	[1] [2]
3	Philip J. Scott	[6] [7]
4	Ryo Takemura	[8]

Colors in the list of coauthors