Back to Search
Start Over
Secure Information Flow via Linear Continuations.
- Source :
- Higher-Order & Symbolic Computation; Sep2002, Vol. 15 Issue 2/3, p209-234, 26p
- Publication Year :
- 2002
Details
- Language :
- English
- ISSN :
- 13883690
- Volume :
- 15
- Issue :
- 2/3
- Database :
- Complementary Index
- Journal :
- Higher-Order & Symbolic Computation
- Publication Type :
- Academic Journal
- Accession number :
- 9965010