Work

Policy as Types

Year: 2013

Type: preprint

Abstract: Drossopoulou and Noble argue persuasively for the need for a means to express policy in object-capability-based systems. We investigate a practical means to realize their aim via the Curry-Howard isomorphism. Specifically, we investigate representing policy as types in a behavioral type system for the RHO-calculus, a reflective higher-order variant of the pi-calculus.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1307.7766

Authors: Meredith, Lucius G, Stay, Mike, Drossopoulou, Sophia

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4394654383

Cites:

Cited by: 2

Related to: 10