"Boxes go bananas: encoding higher-order abstract syntax with parametric ..."

Geoffrey Washburn, Stephanie Weirich (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics