User:Roswellmiller/Books/Functional Programming

Fundamentals

 * Fundamental Concepts
 * Programming paradigm
 * Declarative programming
 * Function-level programming
 * Purely functional
 * Lambda calculus
 * Scope (computer science)
 * Higher-order function
 * Referential transparency (computer science)


 * Lambda Calculus
 * Currying
 * Church–Rosser theorem
 * Extensionality
 * Church encoding


 * Combinatory Logic
 * Fixed-point combinator
 * SKI combinator calculus
 * B,C,K,W system
 * SECD machine
 * Graph reduction machine


 * Intuitionistic Logic
 * Sequent
 * Natural deduction
 * Intuitionistic type theory
 * Brouwer–Heyting–Kolmogorov interpretation
 * Curry–Howard correspondence
 * Linear logic
 * Game semantics


 * Type Theory
 * Typed lambda calculus
 * Programming language
 * Type signature
 * Type inference
 * Data type
 * Algebraic data type
 * Type variable
 * First-class citizen
 * Polymorphism (computer science)
 * Calculus of constructions


 * Denotational Semantics
 * Domain theory
 * Complete partial order
 * Knaster–Tarski theorem