Higher-order abstract syntax in Coq (1995)

by Joelle Despeyroux, Amy Felty, Andre Hirschowitz
Venue:Proceedings of the International Conference on Typed Lambda Calculi and Applications