@Inproceedings{EPTCS357.3,
  author    = {Agudelo-Agudelo, Juan C. and Sicard-Ram\'irez, Andr\'es},
  year      = {2022},
  title     = {About Opposition and Duality in Paraconsistent Type Theory},
  editor    = {Ayala-Rincon, Mauricio and Bonelli, Eduardo},
  booktitle = {{\rm Proceedings 16th}
               Logical and Semantic Frameworks with Applications,
               {\rm Buenos Aires, Argentina (Online), 23rd - 24th July, 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {357},
  publisher = {Open Publishing Association},
  pages     = {25-37},
  doi       = {10.4204/EPTCS.357.3},
}