André Hirschowitz. Higher-order abstract syntax in Coq (1995)

by Joëlle Despeyroux, Amy P Felty
Venue:In TLCA ’95: Proceedings of the Second International Conference on Typed Lambda Calculi and Applications