Formalizing φ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
The untyped calculus of decorated objects, originally proposed informally by Bugayenko, formalized. Object extension is performed by decoration rather than inheritance. With only four basic syntactic constructions the calculus is Turing-complete and confluent (Church–Rosser). The paper also gives a sound translation into Wand’s λ-calculus with records and concatenation.
Kudasov, N., Sim, V. (2023). "Formalizing φ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects." In Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP '22), pp. 29–36. DOI: 10.1145/3611096.3611103.