Naokata Shikuma

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Log. Methods Comput. Sci. 4 (3) (2008)
Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus CoRR (2008)
Naokata Shikuma, Atsushi Igarashi
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN (2006)