An unification semi-algorithm for intersection type schemes

  • Simona Ronchi Della Rocca
Session CAAP 2 Proving Techniques
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)


Normal Form Induction Hypothesis Type Variable Basis Scheme Type Scheme 


  1. [Barendregt, 1984]
    Barendregt H., 1981 The Lambda Calculus: its syntax and semantics, North Holland, (Amsterdam).Google Scholar
  2. [Barendregt et al., 1981]
    Barendregt H, Coppo M., Dezani M., 1981 A filter λ-model and the completeness of type assignment, Journal of Symbolic Logic, 64,4.Google Scholar
  3. [Coppo et al., 1980 a]
    Coppo M., Dezani M., 1980a An extension of the basic Functionality Theory for the L-calculus, Notre Dame Journal of Formal Logic, 21,4.Google Scholar
  4. [Coppo et al., 1980 b]
    Coppo M., Dezani M., Venneri B., 1980b Principal type scheme and λ-calculus semantics, in: J.P. Seldin,J.R. Hindley eds, To H.B.Curry.Essays on Combinatory Logic, λ-calculus and Formalism, Academic Press, London, 1980, pp 535–560.Google Scholar
  5. [Curry et al., 1958]
    Curry H.B., Feys R., 1958 Combinatory Logic, vol.1, North Holland (Amsterdam).Google Scholar
  6. [Hindley, 1969]
    Hindley R., The principal type scheme as an object in combinatory logic, Trans. Amer. Math. Soc., 146.Google Scholar
  7. [Hindley, 1983]
    Hindley R., The completeness theorem for typing λ-terms, Theoretical Computer Science, 22.Google Scholar
  8. [Milner, 1978]
    Milner R., A theory of type polimorphism in programming, J. Comput. System Sci.,17.Google Scholar
  9. [Milner et al., 1982]
    Milner R., Damas L., Principal type schemes for functional programs, 9-th Symp. on Principle of programming languages.Google Scholar
  10. [Robinson, 1965]
    Robinson J.A., A machine oriented logic based on the resolution principle, Journal of ACM, 12.Google Scholar
  11. [Ronchi et al., 1984]
    Ronchi Della Rocca S., Venneri B., Principal type scheme for an extended type theory, Theoretical Computer Science, 28.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Simona Ronchi Della Rocca
    • 1
  1. 1.Dipartimento di InformaticaUniversita' di TorinoTorino

Personalised recommendations