The following pages link to J. Roger Hindley (Q787127):
Displaying 12 items.
- (Q672134) (redirect page) (← links)
- Two beta-equal lambda-I-terms with no types in common (Q672135) (← links)
- Coppo-Dezani types do not correspond to propositional logic (Q787128) (← links)
- BCK-combinators and linear \(\lambda\)-terms have types (Q1119620) (← links)
- Combinatory weak reduction in lambda calculus (Q1129266) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- BCK and BCI logics, condensed detachment and the 2-property (Q1309333) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
- Combinatory logic. Vol. II (Q2553958) (← links)
- Lambda calculus with types (Perspectives in Logic) (Q2922875) (← links)
- M. H. Newman's Typability Algorithm for Lambda-calculus (Q5385202) (← links)
