Maxime Vemclefs

According to our database, Maxime Vemclefs authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Barendregt's Theory of the λ-Calculus, Refreshed and Formalized.

Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025