A language for multiplicative-additive linear logic

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations.Comment: 16 pages without appendices, 30 with appendice

Opportunities for detection and use of QTL influencing seasonal reproduction in sheep: a review

Genetic improvement in traits associated with seasonal breeding in sheep is challenging because these traits have low heritabilities, are generally not expressed until late in life, are commonly recorded only in females, and are expressed only in some lambing seasons and management systems. Detection of quantitative trait loci and their use in marker-assisted selection could therefore substantially enhance selection responses. A population of sheep with an extended breeding season was developed through selection for fertility in spring matings and provides opportunities for further study of candidate genes influencing seasonal breeding. In particular, the melatonin receptor 1a gene is polymorphic in many sheep breeds and appears to influence a number of seasonal reproductive responses. In addition, a variety of clock genes have been identified in laboratory mammals and shown to influence biological rhythms. Mutations in these clock genes have been identified and shown to influence circadian periodicities and reproductive patterns in golden hamster and mouse. In sheep, expression of clock genes in the suprachaismatic nucleus and pars tuberalis (PT) suggests that "calendar" cells in the ovine PT play a role in maintaining circannual rhythms. Thus the various clock genes represent potentially important candidate genes that may be involved in control of seasonal breeding

Renal Lymph Oxygen Tension During Graded Renal Ischemia

Renal lymph oxygen tension in dogs during graded renal ischemi