著者典拠情報

著者標目形：
Hindley, J. Roger
属性：
Personal
から見よ参照形：
Hindley, R. (Roger)
Hindley, J. R. (J. Roger)
Hindley, Roger
注記：
Combinatory logic, lambda-calculus, and formalism, 1980 (a.e.) CIP galley t.p. (R. Hindley) CIP galley pref. signed (Roger Hindley)
To H.B. Curry, 1980 (a.e.) CIP galley t.p. (R. Hindley) CIP galley pref. signed (Roger Hindley) book t.p. (J. R. Hindley, Dept. of Pure Math., Univ. College of Swansea, Swansea, Wales)
His Basic simple type theory, 1997 :t.p. (J. Roger Hindley ; University of Wales, Swansea)
著者典拠ID：
DA00337605


1.

図書
図書
1. Lambda-calculus and combinators, an introduction (: hbk)
J. Roger Hindley, Jonathan P. Seldin
出版情報: Cambridge : Cambridge University Press, c2008
所蔵情報: 図書館
2.

図書
図書
2. Basic simple type theory
J. Roger Hindley
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Cambridge tracts in theoretical computer science ; 42
所蔵情報: 図書館
3.

図書
図書
3. Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
Philippe de Groote, J. Roger Hindley (eds.)
出版情報: Berlin : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1210
所蔵情報: 図書館
4.

図書
図書
4. Introduction to combinators and λ-calculus (: hard ; : pbk)
J. Roger Hindley, Jonathan P. Seldin
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
シリーズ名: London Mathematical Society student texts ; 1
所蔵情報: 図書館