Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis. Syntactic Completeness of Proper Display Calculi. ACM Trans. Comput. Log., 23(4), 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.