Naokata Shikuma Vis

*	2008
3	EE	Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus CoRR abs/0808.3307: (2008)
2	EE	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	EE	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]