ambientsprotocol / encoding-examples

Examples of computation abstractions using the Robust Ambients calculus
8Updated 3 years ago

Related projects

Alternatives and complementary repositories for encoding-examples