Conditions for the completeness of functional and algebraic equational reasoningA preliminary version titled ‘Algebraic Reasoning and Completeness in Typed Languages’ appeared in Twentieth ACM Conference on Principles of Programming Languages, pages 185–195, ACM Press, 1993

• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 9, Nº 6, 1999, págs. 651-685
• Idioma: inglés
• DOI: 10.1017/s0960129599002807
• Texto completo no disponible (Saber más ...)