Order-enriched categorical models of the classical sequent calculus

• Autores: Carsten Führmann, David Pym
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 204, Nº 1, 2006, págs. 21-78
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2005.03.016
• Texto completo no disponible (Saber más ...)