Principal type schemes for an extended type theory

authors: S Ronchi Della Rocca, B Venneri
year: 1983
url: http://dx.doi.org/10.1016/0304-3975(83)90069-5
publisher: Elsevier BV
abstract: We consider the extension of Curry's basic functionality theory presented by Barendregt et al. (to appear), and we define, for any term X, a principal type scheme (p.t.s.). We prove that all and the only type schemes deducible for X can be obtained from the p.t.s. of X by suitable operations.