Rankings
Publications
Sources
Publishers
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
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