an:06454998
Zbl 1326.03023
Nakazawa, Koji; Naya, Hiroto
Strong reduction of combinatory calculus with streams
EN
Stud. Log. 103, No. 2, 375-387 (2015).
00343342
2015
j
03B40
combinatory logic; lambda-mu calculus; strong reduction; confluence
Summary: This paper gives the strong reduction of the combinatory calculus SCL, which was introduced as a combinatory calculus corresponding to the untyped Lambda-mu calculus. It proves the confluence of the strong reduction. By the confluence, it also proves the conservativity of the extensional equality of SCL over the combinatory calculus CL, and the consistency of SCL.