Fairouz D. Kamareddine

• A modern perspective on type theory
• Thirty Five Years of Automating Mathematics