Sémantique de Montague par Christian Retoré

Références:

Christian Retoré
The logic of categorial grammars - lecture notes
INRIA research Report (2005)
http://www.inria.fr/rrrt/rr-5703.html

Jean-Yves Girard, Yves Lafont, Paul Taylor
Proofs and Types
Cambridge University Press (1990)
http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html

Gamut, L.T.F. Logic, language and meaning (Vol.2). The University of
Chicago Press (1991)

Richard Montague The collected papers of Richard Montague. (Edited by
Richmond Thomason)
Yale University Press. (1974)