7 citations · 9 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020
Composing Dinatural Transformations: Towards a Calculus of Substitution
Guy McCusker, Alessio Santamaria
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in gene…
cs.LO2020
Bisimulation as a Logical Relation
Claudio Hermida, Uday Reddy, Edmund Robinson +1
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to…