Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

1 Résultat
Type de dépôt : Document
Image document

Higher-Order Abstract Syntax in Coq

Joëlle Despeyroux , Amy Felty , André Hirschowitz
RR-2556, INRIA. 1995
Rapport inria-00074124v1