Browsing by Author Santo,JE
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2018 | Permutability in proof terms for intuitionistic sequent calculus with cuts | Maria João Frade; Santo,JE; Pinto,L; 5605 |
Issue Date | Title | Author(s) |
---|---|---|
2018 | Permutability in proof terms for intuitionistic sequent calculus with cuts | Maria João Frade; Santo,JE; Pinto,L; 5605 |