J. Roger Hindley

MaRDI QIDQ787127zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Book review of: H. Barendregt et al., Lambda calculus with types Bulletin of the London Mathematical Society	2014-10-15	Paper
scientific article; zbMATH DE number 5318491 (Why is no real title available?)	2008-09-01	Paper
M. H. Newman's Typability Algorithm for Lambda-calculus Journal Of Logic And Computation	2008-05-05	Paper
scientific article; zbMATH DE number 5239554 (Why is no real title available?)	2008-02-22	Paper
Combinatory weak reduction in lambda calculus Theoretical Computer Science	1998-08-13	Paper
scientific article; zbMATH DE number 1042221 (Why is no real title available?)	1997-08-03	Paper
Two beta-equal lambda-I-terms with no types in common Theoretical Computer Science	1997-02-27	Paper
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends Theoretical Computer Science	1995-04-06	Paper
BCK and BCI logics, condensed detachment and the 2-property Notre Dame Journal of Formal Logic	1993-12-06	Paper
Intersection types for combinatory logic Theoretical Computer Science	1993-01-17	Paper
Types with intersection: An introduction Formal Aspects of Computing	1993-01-17	Paper
Principal type-schemes and condensed detachment Journal of Symbolic Logic	1990-01-01	Paper
BCK-combinators and linear \(\lambda\)-terms have types Theoretical Computer Science	1989-01-01	Paper
On adding (<i>ξ</i>) to weak equality in combinatory logic Journal of Symbolic Logic	1989-01-01	Paper
scientific article; zbMATH DE number 3993540 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4002064 (Why is no real title available?)	1986-01-01	Paper
Coppo-Dezani types do not correspond to propositional logic Theoretical Computer Science	1984-01-01	Paper
scientific article; zbMATH DE number 3811535 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3423994 (Why is no real title available?)	1972-01-01	Paper
Combinatory logic. Vol. II Studies in Logic and the Foundations of Mathematics	1972-01-01	Paper

Research outcomes over time

This page was built for person: J. Roger Hindley