Switch to: Citations

Add references

You must login to add references.
  1. A New Type Assignment for Λ-Terms.M. Coppo & M. Dezani-Ciancaglini - 1978 - Archive for Mathematical Logic 19 (1):139-156.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Intersection Types for Lambda-Terms and Combinators and Their Logics.Martin Bunder - 2002 - Logic Journal of the IGPL 10 (4):357-378.
    It is well known that the simple types of closed lambda terms or combinators can be interpreted as the theorems of intuitionistic implicational logic . Venneri, using an equivalence between the intersection type system for lambda calculus, without the universal type ω, TA∧λ, and a similar system for combinators, TA∧, shows that the types of TA∧λ are the theorems of a Hilbert-style sublogic of the → ∧ fragment of H→.In this paper we fill a gap in the equivalence proof and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation