Search results for: Christine Tasson
Distributed Computing > 2018 > 31 > 4 > 289-316
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Contributed Papers > 247-260
Applied Categorical Structures > 2015 > 23 > 6 > 777-818