Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000

• Butz, C. (2000) Butz, C. "Quine's New Foundations (NF)"
• Fairouz Kamareddine, Twan Laan and Rob Nederpelt (2000) Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"
• Grattan-Guiness, I. (2000) Grattan-Guiness, I. "Mathematics and symbolic logics: an uneasy relationship of the 20th century"
• Hindley, Roger (2000) Hindley, Roger "Birth of lambda-calculus and combinatory logic"