felko / cc-deconstructed

Mechanized soundness and bisimulation proofs for variants of the capture calculus

Geek Repo

Github PK Tool