The Work Combinatory Logic: Pure, Applied and Typed The details The Author Katalin Bimbó The offers View on Kindle View paperback on Amazon View hardback on Amazon