Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
Outros resultados
Puis nous détaillons la traduction dans le langage de preuves COQ, la liaison retardée étant traduite par des lambda-abstractions.
After that, we detail the translation into the proof language COQ, the late binding being translated by lambda-abstractions.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.
Não foram achados resultados para esta acepção.
Sinônimos e analogias para "lambda-abstraction" em francês
