The principle type-scheme of an object in combinatory logic

@inproceedings{Hindley1969ThePT,
  title={The principle type-scheme of an object in combinatory logic},
  author={R. Hindley},
  year={1969}
}
One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few restrictions as possible; hence in the simplest form of combinatory logic there is nothing to stop a function being applied to itself; thus XX is an ob for all obs X. However it is also natural to look at the consequences of introducing type-restrictions, formulated by assigning types to the obs according to certain rules, to be described later. Each type is a linguistic… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 39 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

and R

H. B. Curr
  • Feys, Combinatory logic, North-Holland, Amsterdam,
  • 1958
VIEW 18 EXCERPTS
HIGHLY INFLUENTIAL