( 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

Christoph Röger

Ralf Röger

 

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.Lambda-Calculus., and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Intersection Types for Combinatory Logic., and . Theor. Comput. Sci., 100 (2): 303-324 (1992)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)The Completeness Theorem for Typing lambda-Terms.. Theor. Comput. Sci., (1983)M. H. Newman's Typability Algorithm for Lambda-calculus.. J. Log. Comput., 18 (2): 229-238 (2008)Basic Simple Type Theory. Cambridge University Press, Cambridge, (1997)Basic Simple Type Theory. Cambridge University Press, Second edition, (2008)