Lambda-calculus, Combinators and Functional Programming-G. E. Revesz Originally published in , this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer. Lambda-calculus, combinators and functional programming | Révész, György E | download | Z-Library. Download books for free. Find books. Princeton University Library One Washington Road Princeton, NJ USA ()
Revesz G. (): Lambda Calculus, Combinators, and Functional Programming, Cambridge University Press, Cambridge. Department of Economics University of Teramo Italy E-mail: pasquali@www.doorway.ru Lambda-calculus, Combinators and Functional Programming 作者: G. E. Revesz 出版社: Cambridge University Press 出版年: 页数: 定价: USD 装帧: Hardcover 丛书: Cambridge Tracts in Theoretical Computer Science. An Introduction to Lambda Calculus and Scheme. Jim Larson Advantages of a lambda-calculus-based programming language: A clean mathematical basis. The formal specification of the language doesn't need to refer to a machine or compiler. Revesz, G., Lambda-Calculus, Combinators, and Functional Programming, Cambridge University Press.
György E. Révész Originally published in , this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. Lambda-calculus, combinators and functional programming | Révész, György E | download | Z-Library. Download books for free. Find books. Get this from a library! Lambda-calculus, combinators, and functional programming. [György E Révész].
0コメント