Serge Lechenne

According to our database, Serge Lechenne authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Braids, Twists, Trace and Duality in Combinatory Algebras.

Masahito Hasegawa, Serge Lechenne

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

A Compositional Framework for Petri Nets.

Serge Lechenne, Clovis Eberhart, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024