A reflection theorem for closed categories
1972; Elsevier BV; Volume: 2; Issue: 1 Linguagem: Inglês
10.1016/0022-4049(72)90021-7
ISSN1873-1376
Autores Tópico(s)Advanced Algebra and Logic
Referência(s)1972; Elsevier BV; Volume: 2; Issue: 1 Linguagem: Inglês
10.1016/0022-4049(72)90021-7
ISSN1873-1376
Autores Tópico(s)Advanced Algebra and Logic
Referência(s)