@incollection{Partee92,
  author	= {Partee, Barbara},
  editor	= {Rosner, Michael and Johnson, Roderick},
  booktitle	= {Computational linguistics and formal semantics},
  title		= {Syntactic categories and semantic type},
  publisher	= {Cambridge Univeristy Press},
  year		= {1992}
}