William M. Farmer

William M. Farmer é um professor de Ciência da Computação e Software na McMaster University, no Canadá. Sua pesquisa e publicações se concentram em lógica, matemática mecanizada, gestão de conhecimento matemático e métodos formais. Farmer é autor de diversas obras sobre teoria de tipos simples, incluindo a edição de 2023 de "Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas".