The following pages link to J. Roger Hindley (Q787127):
Displayed 21 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)
- On adding (<i>ξ</i>) to weak equality in combinatory logic (Q3480014) (← links)
- Principal type-schemes and condensed detachment (Q3489979) (← links)
- (Q3522248) (← links)
- (Q3659755) (← links)
- (Q3754595) (← links)
- (Q4346206) (← links)
- (Q4722037) (← links)
- M. H. Newman's Typability Algorithm for Lambda-calculus (Q5385202) (← links)
- (Q5442833) (← links)
- (Q5686017) (← links)