Statistics
Publications
12
Citations
921
H-Index
11
Active since
1967
Affiliations
Swansea University(Current)
Roger Hindley is an author at Swansea University specializing in model theory, computer science, and computing.
Publications per year
1967–2006
12
12
Lambda‐Calculus Models and Extensionality
Roger Hindley, G. Longo · Mathematical logic quarterly · 1980 · 118 citations
The completeness theorem for typing λ-terms
Roger Hindley · Theoretical Computer Science · 1983 · 100 citations
History of Lambda-calculus and Combinatory Logic
Felice Cardone, Roger Hindley · 2006 · 57 citations
An Abstract form of the church-rosser theorem. I
Roger Hindley · Journal of Symbolic Logic · 1969 · 36 citations
1–5 of 12