Intuitionistic Linear Logic (ILL) is a resource-conscious logic. The Curry-Howard Isomorphism (CHI) applied to ILL, generates typed functional-like languages that have primitive constants by means of which the amount of resources (terms), used during the computation, is explicit. ! is an untyped functional-like language inspired from a typed language joined at ILL by CHI. We want to use the res...

new-onset hyperglycemia in patients admitted to intensive care units increases the risk of morbidity and mortality. insulin resistance is frequently seen in the treatment of stress-induced hyperglycemia. metformin, an oral anti-hyperglycemic agent, may introduce a new treatment protocol in critically ill patients with insulin-resistance hyperglycemia. fifty-one non-diabetic traumatized patients...