J. Roger Hindley

发表

Introduction to Combinators and Lambda-Calculus

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 1986 .

Combinatory Weak Reduction in Lambda Calculus

J. Roger Hindley, Naim Çagman, J. Hindley, 1998, Theor. Comput. Sci..

Lambda-Calculus and Combinators, an Introduction: Preface

J. Roger Hindley, Jonathan P. Seldin, 2008 .

Axioms for Strong Reduction in Combinatory Logic

J. Roger Hindley, 1967, J. Symb. Log..

Assigning types to terms

J. Roger Hindley, 1997 .

Introduction to combinators and λ-calculus

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 1986, Acta Applicandae Mathematicae.

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 2008 .

A version using typed terms

J. Roger Hindley, 1997 .

The simple semantics for Coppe-Dezani-Sallé types

J. Roger Hindley, J. Hindley, 1982, Symposium on Programming.

The Discrimination Theorem Holds for Combinatory Weak Reduction

J. Roger Hindley, 1979, Theor. Comput. Sci..

Coppo-Dezani Types do not Correspond to Propositional Logic

J. Roger Hindley, 1984, Theor. Comput. Sci..

Combinatory Reductions and Lambda Reductions Compared

J. Roger Hindley, 1977, Math. Log. Q..

BCK and BCI Logics, Condensed Detachment and the 2-Property

J. Roger Hindley, J. Hindley, 1993, Notre Dame J. Formal Log..

An Abstract form of the church-rosser theorem. I

J. Roger Hindley, J. Hindley, 1969, Journal of Symbolic Logic.

Two beta-Equal lambda-I-Terms with no Types in Common

Martin W. Bunder, J. Roger Hindley, M. Bunder, 1996, Theor. Comput. Sci..

Principal type-schemes and condensed detachment

J. Roger Hindley, David Meredith, D. Meredith, 1990, Journal of Symbolic Logic.

Combinatory abstraction using B, 6' and friends*

Martin W. Bunder, J. Roger Hindley, Peter Trigg, 1994 .

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

J. Roger Hindley, Philippe De Groote, 1997 .

Types with intersection: An introduction

J. Roger Hindley, J. Hindley, 1992, Formal Aspects of Computing.

Combinators and Lambda-Calculus

J. Roger Hindley, J. Hindley, 1985, Combinators and Functional Programming Languages.

The Completeness Theorem for Typing lambda-Terms

J. Roger Hindley, R. Hindley, 1983, Theor. Comput. Sci..

M. H. Newman's Typability Algorithm for Lambda-calculus

J. Roger Hindley, J. Hindley, 2008, J. Log. Comput..

Intersection Types for Combinatory Logic

Mariangiola Dezani-Ciancaglini, J. Roger Hindley, M. Dezani-Ciancaglini, 1992, Theor. Comput. Sci..

Curry's Type-Rules are Complete with Respect to the F-Semantics too

J. Roger Hindley, 1983, Theor. Comput. Sci..

Lambda-Calculus and Combinators, an Introduction: References

J. Roger Hindley, Jonathan P. Seldin, 2008 .

Lambda-Calculus and Combinators, an Introduction: Care of your pet combinator

J. Roger Hindley, Jonathan P. Seldin, 2008 .

Combinatory Abstraction Bsing B, B' and Friends

Martin W. Bunder, J. Roger Hindley, P. Trigg, 1994, Theor. Comput. Sci..

An abstract Church-Rosser theorem. II: Applications

J. Roger Hindley, J. Hindley, 1974, Journal of Symbolic Logic.

Introduction to combinatory logic

Rasmus Lerdorf, J. Roger Hindley, Jonathan P. Seldin, 1972 .

Lambda-Calculus and Combinators in the 20th Century

J. Roger Hindley, Felice Cardone, F. Cardone, 2009, Logic from Russell to Church.

BCK-Combinators and Linear lambda-Terms have Types

J. Roger Hindley, J. Hindley, 1989, Theor. Comput. Sci..

On Adding (xi) to Weak Equality in Combinatory Logic

Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin, 1989, J. Symb. Log..

Basic Simple Type Theory

J. V. Tucker, J. Roger Hindley, J. Goguen, 1997 .

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

J. Roger Hindley, Jonathan P. Seldin, Haskell B. Curry, 1980 .

Lambda-Calculus and Combinators, an Introduction: Representing the computable functions

J. Roger Hindley, Jonathan P. Seldin, 2008 .

On adding (ξ) to weak equality in combinatory logic

Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin, 1989, Journal of Symbolic Logic.

Lambda calculus with types (Perspectives in Logic)

J. Roger Hindley, J. Hindley, 2014 .