• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• The Korean Journal of Pharmacology
• /
• v.11 no.1 s.17
• /
• pp.33-38
• /
• 1975

The clinical efficacy of Ethaverine, a peripheral vasodilator, was studied according to a double-blind, non-cross over method in 29 diabetic patients with peripheral arterial diseases. The clinical improvement was assessed from the history of patients including the incidence and frequency of intermitten claudication. Ethaverine, after 4 weeks of therapy, was not effective in improving clinical symptoms compared to placebo. Ethaverine, however, was an efective vasodilator than placebo. The quality of vasodilation induced by Ethaverine, was similar to that of alcohol. A new clinical method of studying peripheral vasodilator was presented. The clinical symptoms of peripheral vascular arterial disease in the lower extrimities include reduced intensity of palpable pulses, coldness, and discoloration of the skin. Intermittent claudication may be present. Pathologic changes in vessel architecture precede the symptoms, and recognition of impending vascular insufficiency is a determining factor in selecting vasodilating therapy or surgical management. Also, post-operative patients who have chronic peripheral vascular arterial disease may be candidates for subsequent vasodilating therapy. Peripheral vasodilators, according to the series of reports, may be indicated in vasospastic peripheral vascular condition rather than an occlusive vascular disease and the vessel responds best when a relatively large vascular beds are involved rather than a small, capillary beds. Recently, the clinical efficacy of peripheral vasodilators have been challanged by many clinical investigators and clinicians. In this study, we have re-evaluated the efficacy of Ethaverine HCl as peripheral vasodilator in patients with vasospastic peripheral arterial disease. Ethaverine is claimed to be two to four times as potent a spasmolytic agent as papaverine in a variety of laboratory and clinical work.