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