Roger Hindley

14 papers and 350 indexed citations i.

Roger Hindley has authored 14 papers that have received a total of 350 indexed citations. This includes 12 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 2 papers in Applied Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (10 papers), Advanced Algebra and Logic (9 papers) and Logic, programming, and type systems (8 papers). Roger Hindley is often cited by papers focused on Logic, Reasoning, and Knowledge (10 papers), Advanced Algebra and Logic (9 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in United Kingdom, Germany and United States. Roger Hindley's co-authors include G. Longo and has published in prestigious journals such as Transactions of the American Mathematical Society, Proceedings of the American Mathematical Society and Theoretical Computer Science.