... and M.B.J Stokhof, editors, Truth, Interpretation and Information, pages 99-130 Forts, Dordrecht, Holland Martha E Pollack and Fernando C.N Pereira 1988 An integrated framework for semantic and ... 1984 The Lambda Calculus: its Syntaz and Semantics North-Holland, Amsterdam, Holland .Ion Barwise and Robin Cooper 1981 Generalized quantifiers and natural language Linguistics and Philosophy, ... Seldin and J.R Hindley, editors, To H.B Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479-490 Academic Press, London, England Gdrard Huet 1986 Formal structures for computation...