4 papers
Monads and Distributive Laws in Substructural Contexts (Extended Version)
Soichiro Fujii, Yun Chen Tsai, Yoà v Montacute +1
We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for var…
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
Radu-Florin Tulcan, Rose Bohrer, Yoà v Montacute +3
We introduce a hybrid spatiotemporal logic for automotive safety applications (HSTL), focused on highway driving. Spatiotemporal logic features specifications about vehicles throug…
Concurrent Games over Relational Structures: The Origin of Game Comonads
Yoà v Montacute, Glynn Winskel
Spoiler-Duplicator games are used in finite model theory to examine the expressive power of logics. Their strategies have recently been reformulated as coKleisli maps of game comon…
Linear Arboreal Categories
Samson Abramsky, Yoà v Montacute, Nihil Shah
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural…