Coinductive characterizations of applicative structures Work supported by Esprit Working Group ‘Types’ 21900 and MURST'97 Cofin. ‘Tecniche Formali...’ grant

• Autores: FURIO HONSELL , MARINA LENISA
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 9, Nº 4, 1999, págs. 403-435
• Idioma: inglés
• DOI: 10.1017/s096012959900287x
• Texto completo no disponible (Saber más ...)