Reductive logic, proof-search, and coalgebra: a perspective from resource semantics. (English) Zbl 07920696
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 833-875 (2023).