Publikacje

Konferencja: International Conference on Types for Proofs and Programs

2021

• Paweł Urzyczyn , Duality in Intuitionistic Propositional Logic, 26th International Conference on Types for Proofs and Programs, Turyn, Italy, 2 marca 2020 - 5 marca 2020, 188 2021, s. 11:1--11:10. Zobacz w PBN