The principle type-scheme of an object in combinatory logic

Abstract

Introduction. In their book Combinatory Logic Roughly speaking, each object of combinatory logic ("ob" for short) represents a function or an operator on functions ; for instance the ob I represents the identity operator, and we have for all obs X, IX = X.