Switch to: References

Add citations

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