Computing with capsules

DOI10.1007/978-3-642-31623-4_1MaRDI QIDQ3167568zbMATH OpenOpenAlexFDO

Authors Jean-Baptiste Jeannin, Dexter Kozen

Publication date 2 November 2012

Published in Descriptional Complexity of Formal Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31623-4_1

zbMATH Keywords

capsulesfunctional programmingimperative programmingsemantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Computing with capsules
• Capsules and closures
• Capsules and separation
• Capsules and closures: a small-step approach
• Typed Lambda Calculi and Applications

Cited in

(5)

• Capsules and closures: a small-step approach
• Capsules and separation
• New
• Computing with capsules
• Capsules and closures

This page was built for publication: Computing with capsules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3167568)