Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
The Principal Type-Scheme of an Object in Combinatory Logic
Home
Publications
The Principal Type-Scheme of an Object in Combinatory Logic
The Principal Type-Scheme of an Object in Combinatory Logic
RH
R. Hindley
R. Hindley
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 December 1969
journal article
Published by
JSTOR
in
Transactions of the American Mathematical Society
Vol. 146
,
29
https://doi.org/10.2307/1995158
Abstract
No abstract available
Cited by 83 articles