Statistics
Publications
1
Citations
27
H-Index
1
Active since
1970
Affiliations
University of Bristol(Current)
R. Hindley is an author at University of Bristol specializing in mathematics, abstract form, and lambda calculus.
Publications per year
1970–1970
1
1
An Abstract form of the church-rosser theorem. I
R. Hindley · Journal of Symbolic Logic · 1970 · 27 citations · Full text
1–1 of 1