Naokata Shikuma

Identifiers

• name variant Naokata Shikuma 0.60 · backfill

Papers (1)

1. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus cs.PL · 2008 · author #1

Mentions

• 0808.3307 #1 · backfill · confidence 0.70 Naokata Shikuma

Frequent Coauthors

• Atsushi Igarashi 1 shared papers