The Calculi of Lambda-Conversion
The Calculi of Lambda Conversion. (AM-6)
Published on 21. January 1985
Book
Paperback/Softback
77 pages
978-0-691-08394-0 (ISBN)
Description
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
More details
Series
Language
English
Place of publication
New Jersey
United States
Target group
Professional and scholarly
College/higher education
Product notice
Paperback (trade)
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 7 mm
Weight
170 gr
ISBN-13
978-0-691-08394-0 (9780691083940)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
E-Book
06/2016
1st Edition
Princeton University Press
€61.49
Available for download
Person
Alonzo Church (1903-1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science. He is the author of Introduction to Mathematical Logic (Princeton).
Content
*Frontmatter, pg. i*CONTENTS, pg. v*Chapter I. INTRODUCTORY, pg. 1*Chapter II. LAMBDA-CONVERSION, pg. 8*Chapter III. LAMBDA-DEFINABILITY, pg. 28*Chapter IV. COMBINATIONS, GODEL NUMBERS, pg. 43*Chapter V. THE CALCULI OF lambda-K-CONVERSION AND lambda-delta- CONVERSION, pg. 58*INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION, pg. 72*BIBLIOGRAPHY, pg. 73*CORRECTION AND ADDITIONS, pg. 82