Search Results - "lambda calculus"

An introduction to lambda calculus [ by Ricci, Raven

Table of Contents: “…1. Introduction to lambda calculus -- 2. Church encoding -- 3. Fixed point combinator -- 4. …”
World Technologies

Functional programming & lambda calculus [ by Ricci, Raven, Bell, Alia

Table of Contents: “…Binary lambda calculus -- 11. Anonymous function -- 12. Apply and director string -- 13. …”
College Publishing House

An introduction to algorithmic information theory [ by Tolbert, Sheree

Table of Contents: “…Kolmogorov complexity -- 4. Binary lambda calculus and linear partial information -- 5. Minimum description length -- 6. …”
World Technologies

A first course in computability theory [ by Plante, Kristy

Table of Contents: “…Halting problem and lambda calculus -- 10. Post correspondence problem and primitive recursive function…”
Orange Apple

Important concepts and subfields of information theory [ by Tolbert, Sheree, Benavides, Hamza

Table of Contents: “…Kolmogorov complexity -- 11. Binary lambda calculus and linear partial information -- 12. …”
World Technologies

A first course in type theory [ by Singleton, Velva

Table of Contents: “…Introduction to type theory -- 3. Simply typed lambda calculus -- 4. Type polymorphism and type system -- 5. …”
Learning Press

Programming languages and methodologies by Schalkoff, Robert J.

Table of Contents: “…Functional programming and the lambda calculus -- 9. Lisp -- 10. Object-oriented functional programming -- 11. …”
Table of contents only

Logic programming & type theory [ by Singleton, Velva, Saxton, Liza

Table of Contents: “…Introduction to type theory -- 8. Simply typed lambda calculus -- 9. Type polymorphism and type system -- 10. …”
World Technologies