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
Reductions of Residuals are Finite	1978-01-01	Paper
Standard and Normal Reductions	1978-01-01	Paper
Combinatory Reductions and Lambda Reductions Compared	1977-01-01	Paper
The Equivalence of Complete Reductions	1977-01-01	Paper
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory	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
An Abstract form of the church-rosser theorem. I	1969-01-01	Paper
The Principal Type-Scheme of an Object in Combinatory Logic	1969-01-01	Paper
Axioms for strong reduction in combinatory logic	1967-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roger Hindley