( en | de | ru )

 

Disambiguation of "Hindley, Roger"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction to Combinators and &lgr;-Calculus

, and . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lily Hindley

Lily Hindley

Lily Hindley

Susanne Rogers

Sebastian Roger

 

Other publications of authors with the same name

Some remarks about the connections between Combinatory Logic and axiomatic recursion theory., and . Arch. Math. Log., 18 (1): 99-103 (1977)Introduction to Combinators and &lgr;-Calculus, and . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.M. H. Newman's Typability Algorithm for Lambda-calculus.. J. Log. Comput., 18 (2): 229-238 (2008)Lambda-Calculus., and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Combinatory Abstraction Bsing B, B' and Friends., , and . Theor. Comput. Sci., 135 (2): 405-422 (1994)BCK-Combinators and Linear lambda-Terms have Types.. Theor. Comput. Sci., 64 (1): 97-105 (1989)Intersection Types for Combinatory Logic., and . Theor. Comput. Sci., 100 (2): 303-324 (1992)The Completeness Theorem for Typing lambda-Terms.. Theor. Comput. Sci., (1983)Basic Simple Type Theory. Cambridge University Press, Cambridge, (1997)Basic Simple Type Theory. Cambridge University Press, Second edition, (2008)