Natural deduction and coherence for weakly distributive categories

• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 113, Nº 3, 1996, págs. 229-296
• Idioma: inglés
• Texto completo no disponible (Saber más ...)