Switch to: References

Add citations

You must login to add citations.
  1. Positive Frege and its Scott‐style semantics.Thierry Libert - 2008 - Mathematical Logic Quarterly 54 (4):410-434.
    We show that the untyped λ -calculus can be extended with Frege's interpretation of propositional notions, provided we restrict β -conversion to positive expressions. The system of illative λ -calculus so obtained admits a natural Scott-style semantics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation