Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Sulforaphane as a multifunctional neuroprotective molecule to prevent and slow down the progression of Alzheimer’s disease

Oxidative stress has been implicated in the pathogenesis of a number of diseases including neurodegenerative disorders, cancer, ischemia, etc. Alzheimer’s disease (AD) is histopathologically characterized by the presence of extracellular senile plaque (SP), predominantly consisting of fibrillar amyloid-peptide (Aβ), intracellular neurofibrillary tangles (NFTs), composed of hyperphosphorylated tau protein, and cell loss in the selected regions of the brain. However, the pathogenesis of AD remains largely unknown, but a number of hypothesis were proposed for AD mechanisms, which include: the amyloid cascade, excitotoxicity, oxidative stress and inflammation hypothesis, and all of them are based, to some extent on the role of A. Accumulated evidence indicates that the increased levels of ROS may act as important mediators of synaptic loss and eventually promote formation of neurofibrillary tangles and senile plaques. Therefore a vicious circle between ROS and Aaccumulation may accelerate progression of AD. For these reasons, growing attention has focused on oxidative mechanism of Atoxicity as well as the search for novel neuroprotective agents. A strategy to prevent the oxidative stress in neurons may be the use of chemopreventive agents as inducers of antioxidant and phase 2 enzymes. Sulforaphane (SF), derived from corresponding glucoraphanin, glucosinolate found in abundance in cruciferous vegetables, has recently gained attention as a potential neuroprotective compound inducer of antioxidant phase 2 enzymes. Consistent with this evidence, the study is aimed at identifying the SF ability to prevent and counteract the oxidative damage inducted by oligomers of Aβ (1-42) in terms of impairment in the intracellular redox state and cellular death in differentiated human neuroblastoma and microglia primary cultures. In addition we will evaluated the mechanism underlying the SF neuroprotection activity.

Melanocytes: a new potential tool to study and monitoring Duchenne muscular dystrophy

Dystrophin is a subsarcolemmal protein critical for the integrity of muscle fibers by linking the actin cytoskeleton to the extracellular matrix via the dystroglycan complex. It is reported that dystroglycans are also localized in the skin, at dermal-epidermal junction. Here we show that epidermal melanocytes express dystrophin at the interface with the basement membrane. The full-length muscle isoform mDp427 was clearly detectable in epidermis and in melanocyte cultures as assessed by RNA and western blot analysis. Dystrophin was absent in Duchenne Muscular Dystrophy (DMD) patients melanocytes, and the ultrastructural analysis revealed mitochondrial alterations, similar to those occurring in myoblasts from the same patients. Interestingly, mitochondrial dysfunction of DMD melanocytes reflected the alterations identified in dystrophin-deficient muscle cells. In fact, mitochondria of melanocytes from DMD patients accumulated tetramethylrhodamine methyl ester but, on the contrary of control donor, mitochondria of DMD patients readily depolarized upon the addition of oligomycin, suggesting either that they are maintaining the membrane potential at the expense of glycolytic ATP, or that they are affected by a latent dysfunction unmasked by inhibition of the ATP synthase. Melanocyte cultures can be easily obtained by conventional skin biopsies, less invasive procedure than muscular biopsy, so that they may represent an alternative cellular model to myoblast for studying and monitoring dystrophinopathies also in response to pharmacological treatments.