@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",
}