Strong conjunction and intersection types

This publication has 4 references indexed in Scilit:

• The completeness of provable realizability.
  Notre Dame Journal of Formal Logic, 1989
• Extended Type Structures and Filter Lambda Models
  Published by Elsevier ,1984
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• An extension of the basic functionality theory for the $\lambda$-calculus.
  Notre Dame Journal of Formal Logic, 1980