Programming Language Theory

  1. Lambda Calculus
    1. Untyped Lambda Calculus
      1. Basic Syntax
        1. Variables
          1. Abstraction
            1. Application
              1. Parentheses and Precedence
              2. Free and Bound Variables
                1. Variable Binding
                  1. Alpha-Equivalence
                    1. Capture-Avoiding Substitution
                    2. Reduction Rules
                      1. Beta-Reduction
                        1. Alpha-Conversion
                          1. Eta-Conversion
                            1. Normal Forms
                              1. Confluence
                              2. Evaluation Strategies
                                1. Call-by-Name
                                  1. Call-by-Value
                                    1. Call-by-Need
                                    2. Expressiveness
                                      1. Church Encodings
                                        1. Boolean Values
                                          1. Natural Numbers
                                            1. Arithmetic Operations
                                              1. Conditional Expressions
                                              2. Data Structures
                                                1. Pairs
                                                  1. Lists
                                                    1. Trees
                                                    2. Recursion
                                                      1. Fixed-Point Combinators
                                                        1. Y Combinator
                                                          1. Recursive Function Definitions

                                                    Previous

                                                    2. Mathematical Foundations

                                                    Go to top

                                                    Next

                                                    4. Syntax and Parsing