1 citations · 1 across the 1 of their papers we have counts for
1 paper
Juan C. Agudelo-Agudelo, Andrés Sicard-Ramírez
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in…