Ahrens, Benedikt, and Julianna Zsido. “Initial Semantics for Higher-Order Typed Syntax in Coq”. Journal of Formalized Reasoning 4, no. 1 (January 1, 2011): 25–69. Accessed April 26, 2024. https://jfr.unibo.it/article/view/2066.