Note on a simple type system for non-interference.
Steffen van Bakel, Maria Vigliotti
- Conference or Workshop Paper
- Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
- PDF of full publication (149 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Conditions for downloading publications from this site.