On strong reduction in director string calculus
Matthew Edward Kinkenon · Digital Scholarship - UNLV (University of Nevada Reno) · 2019
An algebra is presented which is used in conjunction with a modified version of director string calculus (MDSC). The algebra simplifies the implementation of the MDSC while preserving the applicative structure of the originalexpression, and capturing strong reduction.