English

Equational Logic As A Programming Language

A technical book on something similar to lazy functional programming. It is out of print at The MIT Press, so copyright has reverted to me, the author, and I license it for free use. Steven Obua scanned a printed copy to produce this PDF version. Besides the author's work, the book acknowledges contributions by Purdue University Professor Christoph Hoffmann, Purdue University graduate students Paul Chew, Giovanni Sacco, Paul Golick, and The Johns Hopkins University graduate student Robert Strandh. After publication, The University of Chicago graduate students Samuel Rebelsky, David Sherman, Stephen Bailey, and Guanshan Tong continued work on the project. Robert Strandh and David Sherman continued the work as faculty at The University of Bordeaux.

Sign in with your free account to read, download EPUBs or listen.