Antoine Lanco

According to our database, Antoine Lanco authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Stratégies pour la réduction forte. (Strategies for strong reduction).

Antoine Lanco

PhD thesis, 2023

2021

A Strong Call-By-Need Calculus.

Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021