First Page | Document Content | |
---|---|---|
Date: 2009-08-14 07:09:04Logic Mathematical logic Metalogic Propositional calculus Boolean algebra Formal languages Syntax Substitution Admissible rule Model theory Type Quantifier | A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft ResearchAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 269,72 KBShare Document on Facebook |