Publishers: Kings College

An Introduction to Lambda Calculi for Computer Scientists — Chris Hankin