Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
    Download  
     
    Export citation  
     
    Bookmark   12 citations