In the present article the authors discuss some different ideas about the sort of formalism appropriate for translation (more specifically, transfer) that have been explored within Eurotra. The intention is not to evaluate these different ideas, but to outline the issues of general interest and relevance that they raise. Section 1 describes some common assumptions, section 2 describes the different ways they have been interpreted, and section 3 considers some further implications.