J. R. Hindley, Reader M.Sc. Belfast 1961, Ph.D. Newcastle upon Tyne 1964, D.Sc. Belfast 1991. Email: J.R.Hindley@Swansea.ac.uk Telephone: +44 (0) 1792 205678 ext 4624 Fax: +44 (0) 1792 295843 Research interests Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. BOOKS PUBLISHED - Combinatory Logic Vol. II, North-Holland Co., 1972 (with H. B. Curry, J. P. Seldin).
- Introduction to Combinatory Logic, Cambridge Univ. Press, 1972 (with B. Lercher, J. P. Seldin).
- To H. B. Curry, Academic Press, 1980 (edited, with J. Seldin).
- Introduction to Combinators and Lambda-calculus, Cambridge Univ. Press 1986 (with J. P. Seldin).
- Basic Simple Type Theory, Cambridge Univ. Press 1995.
SELECTED PAPERS - The principal type-scheme of an object in combinatory logic , Trans. American Math. Soc.
- Standard and normal reductions, Trans. American Math. Soc.
- Lambda-calculus models and extensionality, Zeit. Math. Logik (1980), 289-310 (with G. Longo).
- The completeness theorem for typing lambda terms, Theoretical Computer Sci.
| |
|