A Simple Lambda Calculus Model Of Programming Languages Classic Reprint

A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)

Excerpt from A Simple Lambda-Calculus Model of Programming Languages Identity of le's is indicated by the symbol which is also used as a definition symbol. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

An Introduction to Functional Programming Through Lambda Calculus

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.

FGCS '92