Skip to main content
Article thumbnail
Location of Repository

Principal type schemes for the strict type assignment system

By Steffen Van Bakel

Abstract

We study the strict type assignment system, a restriction of the intersection type discipline [6], and prove that it has the principal type property. We define, for a term M, the principal pair (of basis and type). We specify three operations on pairs, and prove that all pairs deducible for M can be obtained from the principal one by these operations, and that these map deducible pairs to deducible pairs

Topics: Lambda Calculus, type assignment systems, principal type scheme, intersection types, approximate normal forms
Year: 1993
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.6482
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://pubs.doc.ic.ac.uk/Bakel... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.