Workshop on Thirty Five years of Automath

Contributed talks

  • Chad Brown (Carnegie Mellon, USA): Solving for Sets in Higher-Order Theorem Proving
  • Ferruccio Guidi (Bologna, IT):The challenge of the Web for Mathematics
  • Fairouz Kamareddine (Heriot-Watt, UK): Lambda calculus a la Automath