Switch to: Citations

Add references

You must login to add references.
  1. A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Lexical meaning in context: a web of words.Nicholas Asher - 2011 - New York: Cambridge University Press.
    This is a book about the meanings of words and how they can combine to form larger meaningful units, as well as how they can fail to combine when the ...
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Copredication, dynamic generalized quantification and lexical innovation by coercion.Robin Cooper - unknown
    We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon. We will suggest that using record types gives us a simple and intuitive account of dot types and also makes a connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. We propose a view of lexical innovation which draws both on Pustejovsky’s original work on the Generative Lexicon (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations