Dubut, Jérémy

1. Trees in Partial Higher Dimensional Automata
   2018/04/29 by Dubut, Jérémy · 1 citation
   #F.1.1 #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Path category for free - Open morphisms from coalgebras with non-deterministic branching
   2018/11/29 by Wißmann, Thorsten, Dubut, Jérémy, Katsumata, Shin-ya +1 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
3. A Coalgebraic View on Reachability
   2019/01/30 by Wißmann, Thorsten, Milius, Stefan, Katsumata, Shin-ya +1 · 1 citation
   #Category Theory (math.CT) #FOS: Mathematics