Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions fron Fabio Alessi [and others]. by Barendregt, Henk

Table of Contents: “…Lambda Calculus with Types; Contents; Preface; Contributors; Our Founders; Introduction; Part I: Simple Types lambda rightarrow mathbb A; 1 The Simply Typed Lambda Calculus; 1.1 The systems lambda rightarrow mathbb A; 1.2 First properties and comparisons; 1.3 Normal inhabitants; 1.4 Representing data types; 1.5 Exercises; 2 Properties; 2.1 Normalization; 2.2 Proofs of strong normalization; 2.3 Checking and finding types; 2.4 Checking inhabitation; 2.5 Exercises; 3 Tools; 3.1 Semantics of lambda rightarrow; 3.2 Lambda theories and term models; 3.3 Syntactic and semantic logical relations.…”
Full text (Emerson users only)

Lectures on the Curry-Howard Isomorphism. by Urzyczyn, Pawel

Table of Contents: “…Front Cover; Title Page; Copyright Page; Table of Contents; Chapter 1 Type-free Lambda-calculus; Chapter 2 Intultionistic logic; Chapter 3 Simply typed Lambda-calcuIus; Chapter 4 The Curry-Howard isomorphism; Chapter 5 Proofs as combinators; Chapter 6 Classical logic and control operators; Chapter 7 Sequent calculus; Chapter 8 First-order logic; Chapter 9 First-order arithmetic; Chapter 10 Godel's system T; Chapter 11 Second-order logic and polymorphism; Chapter 12 Second-order arithmetic; Chapter 13 Dependent types; Chapter 14 Pure type systems and the Lambda-cube.…”
Full text (Emerson users only)

A short introduction to intuitionistic logic / Grigori Mints. by Mint︠s︡, G. E.

Full text (Emerson users only)

Functional Python Programming. by Lott, Steven

Table of Contents: “…an alternative approach""; ""Using reversed() to change the order""; ""Using enumerate() to include a sequence number""; ""Summary""; ""Chapter 5: Higher-Order Functions""; ""Using max() and min() to find extrema""; ""Using Python lambda forms""; ""Lambdas and the lambda calculus""; ""Using the map() function to apply a function to a collection""; ""Working with lambda forms and map()""…”
Full text (Emerson users only)

The emperor's new mind : concerning computers, minds, and the laws of physics / Roger Penrose ; foreword by Martin Gardner. by Penrose, Roger

Table of Contents: “…; Introduction; The Turing test; Artificial intelligence; An AI approach to 'pleasure' and 'pain'; Strong AI and Searle's Chinese room; Hardware and software; 2 ALGORITHMS AND TURING MACHINES; Background to the algorithm concept; Turing's concept; Binary coding of numerical data; The Church-Turing Thesis; Numbers other than natural numbers; The universal Turing machine; The insolubility of Hilbert's problem; How to outdo an algorithm; Church's lambda calculus; 3 MATHEMATICS AND REALITY; The land of Tor'Bled-Nam; Real numbers.…”
Full text (Emerson users only)

Learning Java Lambdas. by Weston, Toby

Full text (Emerson users only)

Mastering Python. by Hattem, Rick van

Full text (Emerson users only)

Functional Python programming : discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads / Steven F. Lott. by Lott, Steven F.

Table of Contents: “…Using enumerate() to include a sequence number -- Summary -- Chapter 5: Higher-Order Functions -- Using max() and min() to find extrema -- Using Python lambda forms -- Lambdas and the lambda calculus -- Using the map() function to apply a function to a collection -- Working with lambda forms and map() -- Using map() with multiple sequences -- Using the filter() function to pass or reject data -- Using filter() to identify outliers -- The iter() function with a sentinel value -- Using sorted() to put data in order -- Writing higher-order functions -- Writing higher-order mappings and filters -- Unwrapping data while mapping -- Wrapping additional data while mapping -- Flattening data while mapping -- Structuring data while filtering -- Writing generator functions -- Building higher-order functions with callables -- Assuring good functional design -- Review of some design patterns -- Summary -- Chapter 6: Recursions and Reductions -- Simple numerical recursions -- Implementing tail-call optimization -- Leaving recursion in place -- Handling difficult tail-call optimization -- Processing collections through recursion -- Tail-call optimization for collections -- Reductions and folding a collection from many items to one -- Group-by reduction from many items to fewer -- Building a mapping with Counter -- Building a mapping by sorting -- Grouping or partitioning data by key values -- Writing more general group-by reductions -- Writing higher-order reductions -- Writing file parsers -- Parsing CSV files -- Parsing plain text files with headers -- Summary -- Chapter 7: Additional Tuple Techniques -- Using tuples to collect data -- Using named tuples to collect data -- Building named tuples with functional constructors -- Avoiding stateful classes by using families of tuples -- Assigning statistical ranks -- Wrapping instead of state changing.…”
Full text (Emerson users only)