Handbook of Philosophical Logic
XIV, 402 p.
Keywords: Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.