Computing with the Curry Chip William M. Farmer, John D. Ramsdell, Ronald J. Watro 1989 The Curry Chip implements a simple, but powerful model of computation based on combinatory logic. The chip's primary function is to efficiently reduce combinator terms via graph reduction. The simplicity of the model of computation yields an easily understood computer chip, which has been constructed using VLSI. This document contains a collection of five papers on the Curry Chip. The papers describe the model of computation, its implementation using VLSI, and the programming language. A correctness proof of some of the implementation techniques is also given.