José Espírito Santo, Maria João Frade, Luís Pinto. Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.