We use the same notation for plugging a labeled let-expression into a let context.
Studies on latex flow patterns and plugging indices of clones.
This description may also fit better with the afore-mentioned idea that the inactivation gate covers the pore rather than plugging it.
Plugging the latter into the above formula proves the claimed result.
Hence, it is not always quite clear what is tested by the procedure of plugging lagged employment into wage equations.
Note that the categorical approach allows for systems to be reconfigured by plugging in and out bindings, components, connectors, mediators, and so on.
Typing is a theory of plugging compatibility-v/ithin a linear framework this extends to a resource compatibility.
We use plugging however only in the context of properly-labelled programs, where there is no danger of variable capture.