M Sičák, J Kollár - Computer Languages, Systems & Structures, 2018 - Elsevier
We present an algorithm that transforms context-free grammars into a non-redundant set of
supercombinators. This set contains interconnected lambda calculus' supercombinators that …