Pawel Urzyczyn. Duality in Intuitionistic Propositional Logic. In Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch, editors, 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. Volume 188 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{Urzyczyn20,
title = {Duality in Intuitionistic Propositional Logic},
author = {Pawel Urzyczyn},
year = {2020},
doi = {10.4230/LIPIcs.TYPES.2020.11},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2020.11},
researchr = {https://researchr.org/publication/Urzyczyn20},
cites = {0},
citedby = {0},
booktitle = {26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy},
editor = {Ugo de'Liguoro and Stefano Berardi and Thorsten Altenkirch},
volume = {188},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-182-5},
}