Ahrens, Benedikt. “Initiality for Typed Syntax and Semantics”. Journal of Formalized Reasoning 8, no. 2 (January 1, 2015): 1–155. Accessed May 7, 2025. https://jfr.unibo.it/article/view/4712.