documentation Cloud / IaaS / Ambient based documentation References [1] Mobile Ambients [2] Types for the Ambient Calculus [3] The Lambda-calculus with multiplicities [4] Full Abstraction for Resource Calculus with Tests [5] A Dependently Typed Ambient Calculus