Normal higher-order termination
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 1557-945X, 1529-3785
Año de publicación: 2015
Volumen: 16
Número: 2
Tipo: Artículo
Revista:
ACM Transactions on Computational Logic