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