Antoine Lanco

According to our database, Antoine Lanco authored at least 1 paper in 2023.

Collaborative distances:

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

2023

A strong call-by-need calculus.

Thibaut Balabonski, Antoine Lanco, Guillaume Melquiond

Log. Methods Comput. Sci., 2023