Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2022) Predicate and relation liftings for coalgebras with side effects : an application in coalgebraic modal logic. In: Hansen, H.H. and Zanasi, F., (eds.) Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), 02-03 Apr 2022, Munich, Germany. Lecture Notes in Computer Science (13225). Springer Nature , pp. 1-22. ISBN 9783031107351

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2022 IFIP International Federation for Information Processing.
Keywords: (co)Kleisli categories; Indexed morphisms; Indexed categories/fibrations
Dates:
  • Published (online): 23 July 2022
  • Published: 23 July 2022
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 28 Jul 2022 11:21
Last Modified: 28 Jul 2022 11:21
Status: Published
Publisher: Springer Nature
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-031-10736-8_1
Related URLs:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export

Statistics