The resulting semantic formalism is very similar to the type-theoretic language L λ (Dowty et al., 1981).
we merely use the lambdacalculus as a tool for constructing semantic representations, rather as a formal tool for modeltheoretic interpretation.