Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H (2023)
Publication Type: Conference contribution
Publication year: 2023
Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Book Volume: 270
Conference Proceedings Title: Leibniz International Proceedings in Informatics, LIPIcs
Event location: Bloomington, IN, USA
ISBN: 9783959772877
DOI: 10.4230/LIPIcs.CALCO.2023.24
We present a higher-order extension of Turi and Plotkin's abstract GSOS framework that retains the key feature of the latter: for every language whose operational rules are represented by a higher-order GSOS law, strong bisimilarity on the canonical operational model is a congruence with respect to the operations of the language. We further extend this result to weak (bi-)similarity, for which a categorical account of Howe's method is developed. It encompasses, for instance, Abramsky's classical compositionality theorem for applicative similarity in the untyped λ-calculus. In addition, we give first steps of a theory of logical relations at the level of higher-order abstract GSOS.
APA:
Goncharov, S., Milius, S., Schröder, L., Tsampas, S., & Urbat, H. (2023). Higher-Order Mathematical Operational Semantics. In Paolo Baldan, Valeria de Paiva (Eds.), Leibniz International Proceedings in Informatics, LIPIcs. Bloomington, IN, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
MLA:
Goncharov, Sergey, et al. "Higher-Order Mathematical Operational Semantics." Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, IN, USA Ed. Paolo Baldan, Valeria de Paiva, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023.
BibTeX: Download