Items for "program transformation"

Thirdness as self-reference in computing

We argue that the essence of thirdness in computing is self-reference. Our discussion is grounded on the theories of Church and Curry, which have been studied in the domain of theoretical computing...

Keywords: computing, self-reference, program transformation, fixed-point, abstraction