From professional translators, enterprises, web pages and freely available translation repositories.
the variable "v" iscalled the formal parameter of the abstraction, and "e1" is the "body"of the abstraction.
la variable ν se llama el parámetro formal de la abstracción, y e1 es el cuerpo de la abstracción.
there should therefore be sufficient understanding on fundamental parameters before formal negotiations are launched.
por consiguiente, antes de que se emprendan negociaciones oficiales debe haber suficiente entendimiento sobre los parámetros fundamentales.
passing a parameter by reference means that its value is not copied onto the stack in the formal parameter of the routine (avoiding a copy often means that the program executes faster).
transmitir un parámetro por referencia significa que su valor no se copia en la pila del parámetro formal de la rutina (evitar una copia a menudo significa que el programa se ejecuta más rápido).
(in church's original lambda calculus, the formal parameter of a lambda expression was required to occur at least once in the function body, which made the above definition of 0 impossible.
(véase que en el cálculo original lambda de church era obligatorio que el parámetro formal de la expresión lambda apareciera al menos una vez en el cuerpo de la función, lo que hace imposible definir el 0.
no treaty body has established detailed and formal parameters for the exercise by the chairperson of her or his authority to lead the dialogue with the objective of ensuring that the dialogue with states parties is balanced and interactive.
21. ningún órgano de tratado ha establecido parámetros precisos y detallados sobre cómo debe ejercer su autoridad el presidente para lograr que el diálogo con los estados partes sea equilibrado e interactivo.
it addresses the problem of formalising all that is specific or qualitative; the elementary structure of signification and the formal parameters of transformation; discourse and its actantial structure.
debe intentar precisar, lo más posible, los dos tipos de formalidad: la propia de los saberes abstractos, las ciencias, que es la lógica; y la propia de lo concreto, sensible, axiológico, que es la lógica concreta o semiótica.
wavchannel's constructor (file wavchan.cxx , lines 30–52) takes two formal parameters: a reference to a wav file name and a reference to a h323connection object. these two parameters are used in data member initializers in line 31.
el constructor de wavchannel (archivo wavchan.cxx , líneas 30-52) toma dos parámetros formales: una referencia al nombre de un archivo wav y una referencia a un objeto h323connection. estos dos parámetros son utilizados por los inicializadores de los datos miembros en la línea 31.