Cited By
View all- Gheorghiu APym D(2023)Defining Logical Systems via Algebraic Constraints on ProofsJournal of Logic and Computation10.1093/logcom/exad065Online publication date: 24-Nov-2023
- Gheorghiu ADocherty SPym D(2023)Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource SemanticsSamson Abramsky on Logic and Structure in Computer Science and Beyond10.1007/978-3-031-24117-8_23(833-875)Online publication date: 2-Aug-2023
- Pym D(2019)Resource semanticsACM SIGLOG News10.1145/3326938.33269406:2(5-41)Online publication date: 22-Apr-2019
- Show More Cited By