PDF Document

Source URL: www.cs.rice.edu

• Mathematical logic
• Combinatory logic
• Church encoding
• SKI combinator calculus
• Function
• Calculus
• Currying
• Fixed-point combinator
• Lambda calculus
• Theoretical computer science
• Mathematics