Higher-order abstract syntax in Coq (1995)

by Joëlle Despeyroux, Amy Felty, André Hirschowitz
Venue:Proc. Int. Conf. on Typed Lambda Calculi and Applications