An important result of the lambda calculus is the Church-Rosser theorem: when an expression has more than one function application that can be evaluated, the order of evaluation is irrelevant because the same canonical form would be obtained with any sequence of evaluations. ...
According to this model, drugs incorporate in the hair by the passive diffusion from the growing cells in hair root, and when the keratogenesis occur, the drug is transferred to the hair shaft in a tightly bound form. The deposition of drug in the hair depends on the concentration of drug...