Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by R. Hindley

The Principle Type-Scheme of an Object in Combinatory Logic

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1969English

Standard and Normal Reductions

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1978English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy