Table of ContentsIntroduction to Chapter 10 Functional Programming with Lists Summary of the Features of Functional Languages Summary of the Features of Functional Languages Referential Transparency referential transparency lambda-calculus Origins of lambda-calculas Russell’s Paradox Russell’s Paradox in lambda-calculus An alternative formulation of Russell’s paradox Church integer Set Theory Church integer higher-order function Lambda-calculus and Functional programming languages pure lambda-calculus lambda abstraction lambda abstraction lambda abstraction |
Author: Dolores
Email: dmz@cs.bsu.edu Home Page: http://www.cs.bsu.edu/homepages/dmz/cs335/ |