The Work Lambda Calculus with Types The details The Author Henk Barendregt The offers View on Kindle View hardback on Amazon