Eliès Harington

According to our database, Eliès Harington authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

∞-Categorical Models of Linear Logic.

Eliès Harington, Samuel Mimram

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Polynomials in homotopy type theory as a Kleisli category.

Eliès Harington, Samuel Mimram

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024