Ahrens B, Zsido J. Initial Semantics for higher-order typed syntax in Coq. JFR [Internet]. 2011Jan.1 [cited 2024Apr.19];4(1):25-69. Available from: https://jfr.unibo.it/article/view/2066