Marco, M. (2022). Initial algebra semantics for de Bruijn monads in HOL Light (Version v2022.08.08) [Computer software]