Switch to: Citations

Add references

You must login to add references.
  1. The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms.Giuseppe Longo - 1983 - Annals of Pure and Applied Logic 24 (2):153.
    Download  
     
    Export citation  
     
    Bookmark   11 citations