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