An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson
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.-
The Thirteen Books of the Elements, Vol. 1
-
One, Two, Three...Infinity
-
Game Theory
-
Fifty Challenging Problems in Probability with Solutions
-
Introduction to Graph Theory
-
The Thirteen Books of the Elements, Vol. 2
-
Introduction to Topology
-
Concepts of Modern Mathematics
-
The Stanford Mathematics Problem Book
-
Partial Differential Equations for Scientists and Engineers
-
A Book of Abstract Algebra
-
Number Theory
-
Linear Algebra
-
Geometry, Relativity and the Fourth Dimension
-
Riemann's Zeta Function
-
Ordinary Differential Equations
-
Calculus
-
The Compleat Strategyst
-
Calculus of Variations
-
Mathematics
-
An Introduction to Information Theory, Symbols, Signals and Noise
-
Mathematician's Delight
-
Handbook of Mathematical Functions
-
Elementary Number Theory
-
The Works of Archimedes
-
Mathematics and the Physical World
-
Foundations and Fundamental Concepts of Mathematics
-
A Beginner’s Guide to Mathematical Logic
-
Functions and Graphs
-
Naive Set Theory
-
Challenging Mathematical Problems with Elementary Solutions, Vol. I
-
Advanced Calculus
-
Tilings and Patterns
-
Differential Geometry of Curves and Surfaces
-
Differential Geometry
-
Topology and Geometry for Physicists
-
Set Theory and Logic
-
Challenging Problems in Algebra
-
A First Course in Graph Theory
-
Introduction to Logic
-
Challenging Problems in Geometry
-
Foundations of the Theory of Probability
-
Basic Algebra I
-
Axiomatic Set Theory
Gregory Michaelson is a Professor of Computer Science and Mathematics at Heriot-Watt University in Edinburgh, Scotland.
| SKU | Unavailable |
| ISBN 13 | 9780486478838 |
| ISBN 10 | 0486478831 |
| Title | An Introduction to Functional Programming Through Lambda Calculus |
| Author | Greg Michaelson |
| Series | Dover Books On Mathematics Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Dover Publications Inc. |
| Year published | 2011-08-26 |
| Number of pages | 336 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |