Higher-order abstract syntax in Coq (1995)

by J Despeyroux, A Felty, A Hirschowitz
Venue:In TLCA ’95