× Handbook of Philosophical LogicVolume 15herausgegeben von Dov M. Gabbay und Franz GuenthnerMitwirkendeHerausgegeben vonDov M. GabbayHerausgegeben vonFranz GuenthnerLambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory