Hello world!

The Calculi of Lambda-conversion

Author: Alonzo Church

Publisher: Princeton University Press

ISBN: 9780691083940

Category: Mathematics

Page: 77

View: 246

Download Now →

The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
The Calculi of Lambda-conversion
Language: en
Pages: 77
Authors: Alonzo Church
Categories: Mathematics
Type: BOOK - Published: 1941 - Publisher: Princeton University Press

The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
The Calculi of Lambda Conversion. (AM-6), Volume 6
Language: en
Pages: 77
Authors: Alonzo Church
Categories: Mathematics
Type: BOOK - Published: 2016-03-02 - Publisher: Princeton University Press

The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
Rewriting and Typed Lambda Calculi
Language: en
Pages: 491
Authors: Gilles Dowek
Categories: Mathematics
Type: BOOK - Published: 2014-07-01 - Publisher: Springer

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised
Theory of Formal Systems. (AM-47), Volume 47
Language: en
Pages: 156
Authors: Raymond M. Smullyan
Categories: Science
Type: BOOK - Published: 2016-03-02 - Publisher: Princeton University Press

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
Contributions to the Theory of Games (AM-40), Volume IV
Language: en
Pages: 468
Authors: Albert William Tucker, Robert Duncan Luce
Categories: Mathematics
Type: BOOK - Published: 2016-03-02 - Publisher: Princeton University Press

The description for this book, Contributions to the Theory of Games (AM-40), Volume IV, will be forthcoming.