Ambient Calculus in JoCaml

The latest distribution (v 0.7): ambients-0.7.tar.gz

Documentation (submitted paper):