J. Roger Hindley

Available identifiers

Publication	Date of Publication	Type
Book review of: H. Barendregt et al., Lambda calculus with types	2014-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q3522248	2008-09-01	Paper
M. H. Newman's Typability Algorithm for Lambda-calculus	2008-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5442833	2008-02-22	Paper
Combinatory weak reduction in lambda calculus	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4346206	1997-08-03	Paper
Two beta-equal lambda-I-terms with no types in common	1997-02-27	Paper
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends	1995-04-06	Paper
BCK and BCI logics, condensed detachment and the 2-property	1993-12-06	Paper
Intersection types for combinatory logic	1993-01-17	Paper
Types with intersection: An introduction	1993-01-17	Paper
Principal type-schemes and condensed detachment	1990-01-01	Paper
BCK-combinators and linear \(\lambda\)-terms have types	1989-01-01	Paper
On adding (ξ) to weak equality in combinatory logic	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722037	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3754595	1986-01-01	Paper
Coppo-Dezani types do not correspond to propositional logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659755	1982-01-01	Paper
Combinatory logic. Vol. II	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686017	1972-01-01	Paper

This page was built for person: J. Roger Hindley