Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of the initial term
Primary LanguageOCamlMIT LicenseMIT
No issues in this repository yet.