Category:Formal Reasoning

Systems for formally reasoning about, for example authority, in capability systems.