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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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