43 citations · 305 across the 30 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Stone Duality for Relations
Alexander Kurz, Andrew Moshier, Achim Jung
We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving functio…
cs.FL2019★ 1 cited
Interface Automata for Choreographies
Hao Zeng, Alexander Kurz, Emilio Tuosto
Choreographic approaches to message-passing applications can be regarded as an instance of the model-driven development principles. Choreographies specify interactions among distri…
cs.LO2019★ 2 cited
Nominal String Diagrams
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartes…