TY  - RPRT
TI  - About Opposition and Duality in Paraconsistent Type Theory
AU  - Juan C. Agudelo-Agudelo
AU  - Andrés Sicard-Ramírez
PY  - 2022
DO  - 10.4204/eptcs.357.3
UR  - https://arxiv.org/abs/2204.03882
ID  - 2204.03882
ER  -