A Type-Logic Approach to Refinement

• Autores: Julia Barragán
• Localización: Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 11, Nº 26, 1996, págs. 91-103
• Idioma: inglés
• Texto completo no disponible (Saber más ...)