Realisability Semantics for Intersection Types and Expansion Variables

Expansion was invented at the end of the 1970s for calculating principal typings for $\lambda$-terms in type systems with intersection types. Expansion variables (E-variables) were invented at the end of the 1990s to simplify and help mechanise expansion. Recently, E-variables have been further simplified and generalised to also allow calculating type operators other than just intersection. There has been much work on denotational semantics for type systems with intersection types, but none whatsoever before now on type systems with E-variables. Building a semantics for E-variables turns out to be challenging. To simplify the problem, we consider only E-variables, and not the corresponding operation of expansion. We develop a realisability semantics where each use of an E-variable in a type corresponds to an independent degree at which evaluation occurs in the $\lambda$-term that is assigned the type. In the $\lambda$-term being evaluated, the only interaction possible between portions at different degrees is that higher degree portions can be passed around but never applied to lower degree portions. We apply this semantics to two intersection type systems. We show these systems are sound, that completeness does not hold for the first system, and completeness holds for the second system when only one E-variable is allowed (although it can be used many times and nested). As far as we know, this is the first study of a denotational semantics of intersection type systems with E-variables (using realisability or any other approach)

Small bowel and liver/small bowel transplantation in children.

A clinical trial of intestinal transplantation was initiated at the University of Pittsburgh in May 1990. Eleven children received either a combined liver/small bowel graft (n = 8) or an isolated small bowel graft (n = 3). Induction as well as maintenance immunosuppression was with FK-506 and steroids. Four patients were male, and seven were female; the age range was 6 months to 10.2 years. There were 3 deaths (all in recipients of the combined liver/small bowel graft), which were attributed to graft-versus-host disease (n = 1), posttransplant lymphoproliferative disease (n = 1), and biliary leak (n = 1). Transplantation of the intestine has evolved into a feasible operation, with an overall patient and graft survival rate of 73%. These survivors are free of total parenteral nutrition, and the majority are home. These encouraging results justify further clinical trials

Portal vein thrombosis and arterioportal shunts : effects on tumor response after chemoembolization of hepatocellular carcinoma

AIM: To evaluate the effect of portal vein thrombosis and arterioportal shunts on local tumor response in advanced cases of unresectable hepatocellular carcinoma treated by transarterial chemoembolization. METHODS: A retrospective study included 39 patients (mean age: 66.4 years, range: 45-79 years, SD: 7) with unresectable hepatocellular carcinoma (HCC) who were treated with repetitive transarterial chemoembolization (TACE) in the period between March 2006 and October 2009. The effect of portal vein thrombosis (PVT) (in 19 out of 39 patients), the presence of arterioportal shunt (APS) (in 7 out of 39), the underlying liver pathology, Child-Pugh score, initial tumor volume, number of tumors and tumor margin definition on imaging were correlated with the local tumor response after TACE. The initial and end therapy local tumor responses were evaluated according to the response evaluation criteria in solid tumors (RECIST) and magnetic resonance imaging volumetric measurements. RESULTS: The treatment protocols were well tolerated by all patients with no major complications. Local tumor response for all patients according to RECIST criteria were partial response in one patient (2.6%), stable disease in 34 patients (87.1%), and progressive disease in 4 patients (10.2%). The MR volumetric measurements showed that the PVT, APS, underlying liver pathology and tumor margin definition were statistically significant prognostic factors for the local tumor response (P = 0.018, P = 0.008, P = 0.034 and P = 0.001, respectively). The overall 6-, 12- and 18-mo survival rates from the initial TACE were 79.5%, 37.5% and 21%, respectively. CONCLUSION: TACE may be exploited safely for palliative tumor control in patients with advanced unresectable HCC; however, tumor response is significantly affected by the presence or absence of PVT and APS

Pancreatic pseudocyst eroding into the splenoportal venous confluence and mimicking an arterial aneurysm

We report the case of a 62-year-old man with chronic pancreatitis who presented with increasing abdominal pain. Sonography, magnetic resonance imaging, contrast-enhanced computed tomography, and ultimately catheter angiography demonstrated a pancreatic pseudocyst that had eroded into the splenoportal venous confluence, mimicking an arterial aneurysm. The diagnostic was confirmed at the time of surgical treatment. This case demonstrates the use of imaging to diagnose complications of pancreatitis, and the difficulty of distinguishing an eroding pseudocyst from an arterial aneurysm

Analyzing the frequency shift of physiadsorbed CO2 in metal organic framework materials

Combining first-principles density functional theory simulations with IR and Raman experiments, we determine the frequency shift of vibrational modes of CO2 when physiadsorbed in the iso-structural metal organic framework materials Mg-MOF74 and Zn-MOF74. Surprisingly, we find that the resulting change in shift is rather different for these two systems and we elucidate possible reasons. We explicitly consider three factors responsible for the frequency shift through physiabsorption, namely (i) the change in the molecule length, (ii) the asymmetric distortion of the CO$_2$ molecule, and (iii) the direct influence of the metal center. The influence of each factor is evaluated separately through different geometry considerations, providing a fundamental understanding of the frequency shifts observed experimentally.Comment: 9 pages, 4 figure

Parvovirus B19 infection in pediatric transplant patients

Evidence of recent parvovirus virus infection (as determined by the presence of a positive IgM antibody titer) without other identified causes of anemia was found in 5 of 26 pediatric solid-organ transplant recipients evaluated for moderate-to-severe anemia between June 1990 and July 1991. Anemia tended to be chronic (median duration of anemia at the time of diagnosis was 12 weeks) and was associated with normal red blood cell indices in the absence of reticulocytes. The median age of the children at the time of presentation with anemia due to parvovirus was 1.8 years at a median time of 8 months after transplantation. Four of the 5 children were treated with i.v. immunoglobulin because of persistance of anemia requiring blood transfusions. A response characterized by an increase in reticulocyte count and normalization of hemoglobin was seen in each of these patients 2-4 weeks after treatment. The remaining patient experienced a spontaneous recovery from her anemia. Parvovirus infection should be included in the differential diagnosis of solid-organ transplant recipients presenting with severe anemia associated with low or absent reticulocytes

Abdominal multivisceral transplantation

Under FK506-based immunosuppression, 13 abdominal multivisceral transplantations were performed in 6 children and 7 adults. Of the 13 recipients, 7 (53.8%) are alive and well with functioning grafts after 9 to 31 months. Six recipients died: Three from PTLD, one from rejection, one from sepsis, and one from respiratory failure. In addition to rejection, postoperative complications occurring in more than isolated cases included PTLD (n=6), abdominal abscess formation (n=5), pancreatitis (n=3), and ampullary dysfunction (n=2). In addition, infection by enteric microorganisms was common during the early postoperative period. Currently, all 7 survivors are on an oral diet and have normal liver function. Two recipients (one insulin-dependent) require antidiabetes treatment, in one case following distal pancreatectomy and in the other after two episodes of pancreatic rejection. Thus, abdominal multivisceral transplantation is a difficult but feasible operation that demands complex and prolonged posttransplantation management. It is not yet ready for application and awaits a better strategy of immune modulation. © 1995 by Williams & Wilkins