Higher-Order Abstract Syntax (1995)

by J Despeyroux, A Felty, A Hirschowitz
Venue:in Coq. 124--138. Springer-Verlag LNCS 902