You are not logged in | Log in

PL /
EN

Conference: International Conference on Types for Proofs and Programs

Number of publications: 1

2021

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

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper