A. Rezus

• A bibliography of lambda-calculi, combinatory logics and related topics
• Abstract automath
• Lambda-conversion and logic