Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez. Type Theory with Opposite Types: A Paraconsistent Type Theory. Logic Journal of the IGPL, 30(5):777-806, 2022. [doi]
@article{AgudeloS22, title = {Type Theory with Opposite Types: A Paraconsistent Type Theory}, author = {Juan Carlos Agudelo Agudelo and Andrés Sicard-Ramírez}, year = {2022}, doi = {10.1093/jigpal/jzab022}, url = {https://doi.org/10.1093/jigpal/jzab022}, researchr = {https://researchr.org/publication/AgudeloS22}, cites = {0}, citedby = {0}, journal = {Logic Journal of the IGPL}, volume = {30}, number = {5}, pages = {777-806}, }