Overview :Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in pr... Read More
Overview :Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and tea... Read More