S. Stenlund

• Combinators, λ-Terms and Proof Theory
• Logical Theory and Semantic Analysis
• Combinators, ?-Terms and Proof Theory
• Combinators, λ-Terms and Proof Theory