References

• [Kri93] Jean Louis Krivine. Lambda-Calculus, Types and Models. 1993. [1]
• [KS23] Nikolai Kudasov, Violetta Sim. Formalizing $\varphi$-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. In Proceedings of the 24th International Workshop on Formal Techniques for Java-Like Programs, 29–36. 2023. doi:10.1145/3611096.3611103. [1]