This can lead to the formation of struvite calculi or renal stones. Most kinds of typed lambda calculi can define fewer functions than untyped lambda calculus. May result from diaphragmatic or peridiaphragmatic lesions, renal calculi, splenic injury or ruptured ectopic pregnancy. These infections may cause blockage of the duct by salivary duct calculi or external compression. Urinary tract calculi disorders are more common in men than in women. However, vaterite does occur naturally in mineral springs, organic tissue, gallstones, urinary calculi and plants. In single-conclusion sequent calculi, "modus ponens" is the Cut rule. Alkaline (higher) pH favors formation of carbonate and phosphate calculi. This is due to possible complications that could occur later in life like urinary calculi. Some 80-85% of simple renal calculi can be effectively treated with ESWL. "Sialolithiasis" refers to the formation of calculi within a salivary gland. Various typed lambda calculi have been studied. Trace monoids and history monoids provide a foundation for process calculi and concurrent computing. There exist, however, typed lambda calculi that are not strongly normalizing. Proof theorists are typically interested in proof calculi that support a notion of analytic proof.