Loïc Peyrot

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

Collaborative distances:

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

2024

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications.

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

Log. Methods Comput. Sci., 2024

Node Replication: Theory And Practice.

Delia Kesner, Loïc Peyrot, Daniel Ventura

Log. Methods Comput. Sci., 2024

Polymorphic Records for Dynamic Languages.

Giuseppe Castagna, Loïc Peyrot

CoRR, 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