A Constructive Semantics of the Lambda Calculus (Classic Reprint)

It is certified that the work contained in the thesis titled AC onstructive Semantics of the Lambda Calculus, by Kalyan Shankar Basu has been carried out under our supervision and that this work has not been submitted elsewhere for a degree. H. Karnick Associate Professor Department of Computer Science and Engineering Indian Institute of Technology, Kanpur. R. Sangal Professor Department of Computer Science and Engineering A pril, 1994 Indian Institute of Technology, Kanpur.
(Typographical errors above are due to OCR software and don't occur in the book.)

About the Publisher

Forgotten Books is a publisher of historical writings, such as: Philosophy, Classics, Science, Religion, History, Folklore and Mythology.

Forgotten Books' Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the aged text. Read books online for free at www.forgottenbooks.org