Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • (2 other versions)The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
    Download  
     
    Export citation  
     
    Bookmark   72 citations