collaborators

1 paper

cs.LO2024

Logical Predicates in Higher-Order Mathematical Operational Semantics

Sergey Goncharov, Alessio Santamaria, Lutz Schröder +2

We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical re…