𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Dependent type system with subtyping (I) type level transitivity elimination

✍ Scribed by Gang Chen


Book ID
105665366
Publisher
Springer
Year
1998
Tongue
English
Weight
880 KB
Volume
13
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Serum levels of growth hormone-binding p
✍ G. Massa; L. Dooms; R. Bouillon; M. Vanderschueren-Lodeweyckx πŸ“‚ Article πŸ“… 1993 πŸ› Springer 🌐 English βš– 577 KB

Serum levels of insulin-like growth factor I are reduced in patients with Type 1 (insulin-dependent) diabetes mellitus. To evaluate the role of the hepatic growth hormone receptor in the decreased serum concentrations of insulinlike growth factor I, serum levels of the high affinity growth hormone-b