𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mathematical induction in ramified type theory

✍ Scribed by James R. Royse

Publisher
John Wiley and Sons
Year
1969
Tongue
English
Weight
183 KB
Volume
15
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Thapsigargin induces microglial transfor
Thapsigargin induces microglial transformation from amoeboid to ramified type in vitro
✍ Ryoji Yagi; Shuuitsu Tanaka; Tatsuro Koike πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 190 KB

Microglia generally display amoeboid morphology under prevalent culture conditions. We found that cultured microglia derived from rat cerebral cortex undergo a morphological transformation from amoeboid to process-bearing microglia upon treatment with thapsigargin (TG), a specific Ca 2Ο© -ATPase inhi

From theory to therapy: Implications fro
From theory to therapy: Implications from an in vitro model of ramified microglia
✍ Philip Rosenstiel; Ralph Lucius; GΓΌnther Deuschl; Jobst Sievers; Henrik Wilms πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 322 KB

## Abstract Microglia are the principal immune cells in the central nervous system (CNS), characterized by a highly specific morphology and unusual antigenic phenotype. An increasing number of studies have focused on the role of microglia in the pathogenesis of neurodegenerative diseases. To elucid

Prototype Proofs in Type Theory
Prototype Proofs in Type Theory
✍ Giuseppe Longo πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 207 KB