Naokata Shikuma

	2008
3		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus CoRR abs/0808.3307: (2008)
2		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Logical Methods in Computer Science 4(3): (2008)
	2006
1		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN 2006: 301-315

Coauthor Index

1

Atsushi Igarashi

[1] [2] [3]