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