40 citations · 108 across the 14 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 19 cited
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…
cs.LO2013★ 12 cited
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…