Pages that link to "Item:Q3535617"
From MaRDI portal
The following pages link to Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus (Q3535617):
Displayed 2 items.
The following pages link to Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus (Q3535617):
Displayed 2 items.