J. Roger HindleyJ. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State niversity and Tokyo Institute of technology. This is his 7th book. Read More Read Less