The Logic, Philosophy, and History of the Lambda-Calculus - Levis Zerpa (Springer, 2024)
Keywords: Philosophy