Roger Hindley

Available identifiers

zbMath Open hindley.rogerMaRDI QIDQ1839241

List of research outcomes

Publication	Date of Publication	Type
The completeness theorem for typing lambda-terms	1983-01-01	Paper
Curry's type-rules are complete with respect to the F-semantics too	1983-01-01	Paper
Lambda‐Calculus Models and Extensionality	1980-01-01	Paper
The discrimination theorem holds for combinatory weak reduction	1979-01-01	Paper
Standard and Normal Reductions	1978-01-01	Paper
Reductions of Residuals are Finite	1978-01-01	Paper
Combinatory Reductions and Lambda Reductions Compared	1977-01-01	Paper
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory	1977-01-01	Paper
The Equivalence of Complete Reductions	1977-01-01	Paper
An abstract Church-Rosser theorem. II: Applications	1974-01-01	Paper
A Short Proof of Curry's Normal Form Theorem	1970-01-01	Paper
The Principal Type-Scheme of an Object in Combinatory Logic	1969-01-01	Paper
An Abstract form of the church-rosser theorem. I	1969-01-01	Paper
Axioms for strong reduction in combinatory logic	1967-01-01	Paper

Research outcomes over time

This page was built for person: Roger Hindley