Home › Authors › Peter LeFanu Lumsdaine 👤 Peter LeFanu Lumsdaine 1 book Books by Peter LeFanu Lumsdaine Logic and Algorithms in Comput Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) 2024