Ambient Calculus Research

Repository to collaborate on Ambient Calculus research.

If you know any paper, tool or other material that is helpful in understanding and researching ambient calculus, let us know in the issues or open a PR that adds a link to it!

Papers

We're maintaining a list of all ambient calculus related research papers in this repository.

List of ambient calculus research papers

Tools

• AmbIcobjs - Simulation tool for ambient calculus reductions

Learning Material

• The Ambient Calculus lecture slides - Overview of Ambient Calculus, examples (boolean flags, objective moves, turing machines), encoding π-calculus in ambient calculus, types for ambients.

License

CC-BY-SA 4.0, © 2019 Haja Networks Oy