Handbook of Philosophical Logic

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory