Masahiro Hamano

	2008
8		Masahiro Hamano, Ryo Takemura: An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL 2008: 262-277
	2007
7		Masahiro Hamano, Philip J. Scott: A categorical semantics for polarized MALL. Ann. Pure Appl. Logic 145(3): 276-313 (2007)
	2005
6		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		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		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