First Page | Document Content | |
---|---|---|
Date: 2009-08-14 07:09:04Software engineering Computing Theoretical computer science Automated theorem proving Datalog Horn clause -calculus Logic programming Substitution Struct ALGOL 68 Lambda calculus | A Type Discipline for Authorization Policies ´ CEDRIC FOURNET and ANDREW D. GORDON Microsoft Research andAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 253,06 KBShare Document on Facebook |