Contents

• Syntax of Lambda Expressions
  
  
  
• Basic Rules of Lambda Conversion
  
  
  • Notation used in Conversion Rules
    
    
    • Notation used to specify conversion of lambda expressions
      
      
    • Notation used to specifiy substitution
      
      
  • Alpha Conversion
    
    
    • Bound and Free Variables
      
      
    • Rules of Alpha Conversion
      
      
  • Beta Conversion
    
    
    • Rule of -Conversion
      
      
    • -Reduction
      
      
    • -Abstraction
      
      
    • Examples:
      
      
  • Eta Conversion
    
    
    • -Reduction
      
      
    • -Abstraction
      
      
  • Rules of Associativity
    
    
    • Rule of Associativity for Abstraction
      
      
    • Rule of Associativity for Application
      
      
    • Example for both rules:
      
      
  • Y Combinator
    
    
    • Definition
      
      
    • Basic Usage of Y Combinator
      
      
    • Using the Y Combinator to implement recursion
      
      
  
  
• A++
  
  
  • Introduction
    
    
  • Definition of A++ as Programming Language
    
    
    • Definition of A++ in EBNF-Notation
      
      
    • Examples of syntax of abstraction 1st alternative in 2.2
      
      
  • A++ with few extensions
    
    
    • Syntax of A++ including pre-defined primitive abstractions
      
      
    • Examples using pre-defined primitives of A++
      
      
  • Summary of A++ features:
    
    
  • Testing the Y-Combinator in A++
    
    
    • A++ Source code of Y-Combinator test program
      
      
    • Running the Y-Combinator test program
      
      
    • Comments on the Y-Combinator test program
      
      
  
  
• Bibliography
  
  

Impressum und Datenschutz