Rémi Di Guardia

According to our database, Rémi Di Guardia authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2023

Type Isomorphisms for Multiplicative-Additive Linear Logic.

Rémi Di Guardia, Olivier Laurent

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023