Hunt, S. & Sands, D. (2011). From exponential to polynomial-time security typing via principal types. Lecture Notes in Computer Science, 6602 L, pp. 297-316. ISSN 0302-9743

Publication Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science > Software Reliability School of Science & Technology > Computer Science

Preview

PDF Download (252kB) | Preview

Export

RefWorks RDF+XML BibTeX RIOXX2 XML RDF+N-Triples JSON Dublin Core Dublin Core Simple Metadata Refer METS HTML Citation ASCII Citation OpenURL ContextObject EndNote OpenURL ContextObject in Span MODS MPEG-21 DIDL EP3 XML Reference Manager RDF+N3 Multiline CSV

Downloads

Downloads per month over past year

View more statistics