bvssvni/closure_calculus

A Rust library for Barry Jay's Closure Calculus

Closure Calculus

An implementation of Closure Calculus

Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085