Posted by **interes** at June 5, 2013

English | 2013 | ISBN: 0521766141 | ISBN-13: 9780521766142 | 860 pages | PDF | 4,4 MB

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984).

Posted by **Willson** at July 21, 2017

English | 2013 | ISBN: 0521766141 | 856 pages | PDF | 4.4 MB

Posted by **hill0** at June 10, 2017

English | 12 Mar. 2017 | ISBN: 3642551971 | 228 Pages | PDF | 2 MB

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.

Posted by **hill0** at March 12, 2017

English | 12 Mar. 2017 | ISBN: 3642551971 | 228 Pages | PDF | 2.25 MB

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic choice.

Posted by **naag** at March 8, 2017

2005 | ISBN: 3540211462 | English | 400 pages | PDF | 2.8 MB

Posted by **leonardo78** at Dec. 27, 2016

Publisher: Addison-Wesley | 1989 | ISBN: 0201178125 | 335 pages | DJVU | 1,6 MB

This book aims to provide a gentle introduction to functional programming. It is based on the premise that functional programming provides pedagogic insights into many aspects of computing and offers practical techniques for general problem solving.

Posted by **rotten comics** at Dec. 7, 2016

2005 | ISBN: 3540211462 | English | 400 pages | PDF | 2.8 MB

Posted by **tanas.olesya** at Sept. 18, 2016

English | 24 July 2008 | ISBN: 0521898854 | 358 Pages | PDF | 2 MB

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages.

Posted by **ChrisRedfield** at Feb. 2, 2014

Published: 2011-07-21 | ISBN: 0486478831 | EPUB + MOBI | 336 pages | 15 MB

Posted by **interes** at June 3, 2013

English | 2011 | ISBN: 0486478831 | ISBN-13: 9780486478838 | 336 pages | EPUB | 14 MB

This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, assuming no prior knowledge of mathematics or functional programming. Numerous exercises appear throughout the text, and all problems feature complete solutions. 1989 edition.