Lambda Calculi: A Guide for Computer Scientists - Hankin (Oxford University PressOxford University Press, 2023)