ELLIPSES AND LAMBDA DEFINABILITY. - GOLDBERG, MAYER (Logical Methods in Computer Science (LMCS), 2015)