Esse artigo analisa o papel dos aditivos em lógicas semi-subestruturais.
― 9 min ler
Niccolò Veltri
Examinando o papel da igualdade proposicional na teoria dos tipos e suas implicações.
― 5 min ler
Ciência de ponta explicada de forma simples
Esse artigo analisa o papel dos aditivos em lógicas semi-subestruturais.
― 9 min ler
Examinando o papel da igualdade proposicional na teoria dos tipos e suas implicações.
― 5 min ler