Back to Results
First PageMeta Content
Logic / 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 Research
Add to Reading List

Document Date: 2009-08-14 07:09:04


Open Document

File Size: 269,72 KB

Share Result on Facebook