43 citations · 305 across the 30 of their papers we have counts for
4 papers · 1 filter
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Alexander Kurz, Daniela Luan Petrişan, Paula Severi +1
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. W…
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques -- as those popular in process calculi -- we…
Relation lifting, with an application to the many-valued cover modality
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T…
Epistemic Updates on Algebras
Alexander A Kurz, Alessandra A Palmigiano
We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-…