Hindley, J. Roger.
Hindley, James Roger, 1939-....
J. Roger Hindley
Hindley, James Roger
Hindley, J. Roger, 1939-
VIAF ID: 85223942 ( Personal )
Permalink: http://viaf.org/viaf/85223942
Preferred Forms
-
-
-
- 100 1 _ ‡a Hindley, J. Roger
- 100 1 _ ‡a Hindley, J. Roger
- 100 1 _ ‡a Hindley, J. Roger
-
-
-
-
-
- 100 1 _ ‡a Hindley, James Roger
- 100 1 _ ‡a Hindley, James Roger ‡d 1939-
-
- 100 1 _ ‡a Hindley, James Roger, ‡d 1939-....
- 100 0 _ ‡a J. Roger Hindley
4xx's: Alternate Name Forms (22)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Basic simple type theory | |
Combinatory logic, lambda-calculus, and formalism, 1980 (a.e.) | |
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,.. | |
Introduction to combinatory logic | |
To H.B. Curry, 1980 (a.e.) | |
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings |