User:Zixiaoxu/Books/Mathematics


 * Abstract syntax tree
 * Algebraic data type
 * ALGOL 60
 * ALGOL W
 * Anonymous function
 * Applicative computing systems
 * Argument
 * Beta normal form
 * Binary combinatory logic
 * C Sharp (programming language)
 * C++11
 * Calculus of constructions
 * Cartesian closed category
 * Categorical abstract machine
 * Categorical logic
 * Category theory
 * Church encoding
 * Church–Turing thesis
 * Code generation (compiler)
 * Combinatory logic
 * Comparison of programming languages
 * Computational complexity theory
 * Criticism of Java
 * Curry–Howard correspondence
 * Deductive lambda calculus
 * Denotational semantics
 * Dependent type
 * Domain theory
 * Eager evaluation
 * Eiffel (programming language)
 * Elementary mathematics
 * Esoteric programming language
 * Eval
 * Evaluation strategy
 * Existential quantification
 * Explicit substitution
 * Formalism (philosophy of mathematics)
 * Function pointer
 * Functional programming
 * Futures and promises
 * Generic programming
 * Gödel numbering
 * Gödel's incompleteness theorems
 * Harrop formula
 * Imperative programming
 * Interaction nets
 * Java (programming language)
 * Java bytecode
 * Java virtual machine
 * JavaScript
 * Kappa calculus
 * Kleene–Rosser paradox
 * Krivine machine
 * Lambda calculus
 * Lambda calculus definition
 * Lambda cube
 * Lambda-mu calculus
 * Lazy evaluation
 * Let expression
 * Minimalism (computing)
 * Mogensen–Scott encoding
 * Normalization property (abstract rewriting)
 * Parallel computing
 * Parameter (computer programming)
 * Parse tree
 * Partial evaluation
 * Partially ordered set
 * Pascal (programming language)
 * Programming language
 * Proof theory
 * Quadratic equation
 * Quadratic formula
 * Recursive data type
 * Remote evaluation
 * Rewriting
 * Scala (programming language)
 * Scott continuity
 * SECD machine
 * Short-circuit evaluation
 * Simply typed lambda calculus
 * SKI combinator calculus
 * Smalltalk
 * Subroutine
 * System F
 * System U
 * Thunk
 * Type system
 * Typed lambda calculus
 * Universal Turing machine
 * Unlambda
 * Variable (mathematics)
 * Visual Basic .NET