Type-based termination of recursive definitions

• Autores: M. J. Frade, G. Barthe
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 14, Nº 1, 2004, págs. 97-141
• Idioma: inglés
• Texto completo no disponible (Saber más ...)