nLab J. Roger Hindley

• personal page

• Wikipedia entry

Selected writings

On lambda-calculus and combinator logic:

• J. Roger Hindley, Jonathan P. Seldin, Lambda-Calculus and Combinators – An Introduction, Cambridge University Press (2008) [doi:10.1017/CBO9780511809835]

On simple type theory:

• J. Roger Hindley, Basic Simple Type Theory, Cambridge University Press (1997, 2009) [doi:10.1017/CBO9780511608865]

category: people