Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories

• Autores: A. HEYWORTH, R. BROWN
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 29, Nº 1, 2000, págs. 5-32
• Idioma: inglés
• Texto completo no disponible (Saber más ...)