Higher-order abstract syntax in Coq (1995)

Cached

Download Links

by Joëlle Despeyroux , Amy Felty , André Hirschowitz
Citations:40 - 1 self