Higher-order abstract syntax with induction in Coq (1994)

by J Despeyroux, A Hirschowitz
Venue:in: Fifth International Conference on Logic Programming and Automated Reasoning