J. Roger

J. Roger Hindley é um filósofo, matemático e professor universitário britânico, nascido em 1938. Com afiliação ao Departamento de Matemática da Swansea University, no País de Gales, Hindley é conhecido por suas contribuições em lógica combinatória e cálculo lambda. Suas obras, como "Lambda-Calculus and Combinators: An Introduction" e "Introduction to Combinators and λ-Calculus", serviram como referências fundamentais para o estudo desses temas por décadas. Os livros de Hindley exploram a gramática e as propriedades básicas da lógica combinatória e do cálculo lambda, além de introduzir a teoria de tipos em suas versões tipadas e não tipadas.