"Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic."

Julian Biendarra et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics