The name "variable binding" is a great example of this.
WEB - a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
Лямбда-исчисление - это формальная система в математической логике для выражения подсчетов на основе абстракции и применения функций с использованием привязки и подстановки переменных.
The protein may also be a dual variable binding domain (DVD) binding protein.
Other results
Currying functions can improve the clarity of variable bindings in our code.
Каррирование функций может улучшить ясность связывания переменных в нашем коде.
Now the pilots perform many semantic texts besides analyzing the variable bindings.
В настоящее время пилоты выполните много семантической текстов помимо анализа переменных привязок.
Variable bindings are specified in the body of the request.
We need to keep track of variable bindings for the types of the free variables in a function.
Trap PDUs include current sysUpTime value, an OID identifying the type of trap and optional variable bindings.
Включает в себя текущее значение sysUpTime, OID, определяющий тип trap (ловушки), и необязательные связанные переменные.
Alternatively, one can use a variable-binding operator, λ, that, given an open wff, generates a term (called a 'lambda abstract') that is meant to stand for a property.
В качестве альтернативы, можно использовать оператор присваивания значений переменным, λ, который, при открытой wff', производит термин (называемый лямбда-абстракцией), предназначенный для замещения свойства.
Response Returns variable bindings and acknowledgement from agent to manager for GetRequest, SetRequest, GetNextRequest, GetBulkRequest and InformRequest.
Возвращает связанные переменные и значения от агента менеджеру для GetRequest, SetRequest, GetNextRequest, GetBulkRequest и InformRequest.
But this type of response is to be expected if there are other variables besides receptor binding.
Но такой тип реакции следует ожидать, если присутствуют другие переменные, кроме связывания рецептора.
First, include any systemwide bindings and variable assignments from
Сначала, включим все общесистемные привязки и переменные из
He was additionally the primary to develop what at this time are basic concepts in computer science like recursive capabilities and variables with scope and binding...
Он также первым разработал то, что сегодня является фундаментальными понятиями в компьютерной науке, например, рекурсивные функции и переменные с областью действия и привязки.