Type Theory and Functional Programming Hardcover Simon Thompson

Parallel Functional Programming Languages and Compilers Hardcover

Lambda-Calculus and Combinators: An Introduction by

Combinators: A Centennial View - Hardcover, by Stephen Wolfram - Very Good

Lambda-calculus, Combinators and Functional Programming Revesz Paperback

Lambda-Calculus, Combinators and Functional Programming by Revesz, G. E.

Combinators and Functional Programming Languages : Thirteenth Spr

Lambda-Calculus, Combinators and Functional Programming, Paperback by Revesz,...