Loïc Peyrot

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Theoretical Insights

Qualitative And Quantitative

Learning From Positive Data

Top Venues

Log. Methods Comput. Sci.

Publications

Giuseppe Castagna, Loïc Peyrot
Polymorphic Records for Dynamic Languages. CoRR (2024)
Delia Kesner, Loïc Peyrot, Daniel Ventura
Node Replication: Theory And Practice. Log. Methods Comput. Sci. 20 (1) (2024)
José Espírito Santo, Delia Kesner, Loïc Peyrot
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications. Log. Methods Comput. Sci. 20 (3) (2024)
José Espírito Santo, Delia Kesner, Loïc Peyrot
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications. FoSSaCS (2022)
Delia Kesner, Loïc Peyrot
Solvability for Generalized Applications. FSCD (2022)
Delia Kesner, Loïc Peyrot, Daniel Ventura
Node Replication: Theory And Practice. CoRR (2022)
José Espírito Santo, Delia Kesner, Loïc Peyrot
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version). CoRR (2022)
Delia Kesner, Loïc Peyrot, Daniel Ventura
The Spirit of Node Replication. FoSSaCS (2021)