Functional Characters of Solvable Terms

This publication has 8 references indexed in Scilit:

• An extension of the basic functionality theory for the $\lambda$-calculus.
  Notre Dame Journal of Formal Logic, 1980
• Functional characterization of some semantic equalities inside λ-calculus
  Published by Springer Nature ,1979
• A new type assignment for λ-terms
  Archive for Mathematical Logic, 1978
• Une extension de la theorie des types en λ-calcul
  Lecture Notes in Computer Science, 1978
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
  SIAM Journal on Computing, 1976
• The Principal Type-Scheme of an Object in Combinatory Logic
  Transactions of the American Mathematical Society, 1969
• Modified basic functionality in combinatory logic
  Dialectica, 1969