You are not logged in |
Back to the list of the institutes
Publications
Conference: International Conference on Types for Proofs and Programs
Number of publications: 12021
- Paweł Urzyczyn , Duality in Intuitionistic Propositional Logic, 26th International Conference on Types for Proofs and Programs, Turyn, Italy, 2 March 2020 - 5 March 2020, 188 2021, p. 11:1--11:10. See in PBN
