Loïc Peyrot

According to our database, Loïc Peyrot authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Node Replication: Theory And Practice.

Delia Kesner, Loïc Peyrot, Daniel Ventura

Log. Methods Comput. Sci., 2024

2022

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version).

José Espírito Santo, Delia Kesner, Loïc Peyrot

CoRR, 2022

Solvability for Generalized Applications.

Delia Kesner, Loïc Peyrot

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.

José Espírito Santo, Delia Kesner, Loïc Peyrot

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

The Spirit of Node Replication.

Delia Kesner, Loïc Peyrot, Daniel Ventura

Proceedings of the Foundations of Software Science and Computation Structures, 2021