Discrete polymorphism

This publication has 11 references indexed in Scilit:

• A characterization of lambda definable tree operations
  Information and Computation, 1990
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Syntactic translations and provably recursive functions
  The Journal of Symbolic Logic, 1985
• Polymorphism is not set-theoretic
  Published by Springer Nature ,1984
• Principal type schemes for an extended type theory
  Theoretical Computer Science, 1983
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• The Expressiveness of Simple and Second-Order Type Structures
  Journal of the ACM, 1983
• An extension of the basic functionality theory for the $\lambda$-calculus.
  Notre Dame Journal of Formal Logic, 1980
• Finite investigations of transfinite derivations
  Journal of Mathematical Sciences, 1978
• Nested recursion
  Mathematische Annalen, 1961