@inbook{e86759a109fe4d8fa99973cbf404989d,

title = "A lambda-calculus for resource separation",

abstract = "We present a typed lambda-calculus for recording resource separation constraints between terms. The calculus contains a novel way of manipulating nested multi-place contexts augmented with constraints, allowing a concise presentation of the typing rules. It is an extension of the affine alpha-lambda-calculus. We give a semantics based on sets indexed by resources, and show how the calculus may be extended to handle non-symmetric relations with application to allowable information flow. Finally, we mention some future directions and questions we have about the calculus.",

keywords = "function type, natural transformations, transitive closure, linear logic, structural rule",

author = "Bob Atkey",

year = "2004",

doi = "10.1007/978-3-540-27836-8_16",

language = "English",

isbn = "9783540228493",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "158--170",

booktitle = "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004",

}