Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name paradigms are built. The primary goal of the thesis is to present the evidence for this claim, which is found in a remarkably wide range of semantics: from operational semantics, ...

Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name paradigms are built. The primary goal of the thesis is to present the evidence for this claim, which is found in a remarkably wide range of semantics: from operational semantics, ...

Chronic bee paralysis virus (CBPV) is the etiological agent of chronic paralysis, an infectious and contagious disease in adult honeybees. CBPV is a positive single-stranded RNA virus which contains two major viral RNA fragments. RNA 1 (3674 nt) and RNA 2 (2305 nt) encode three and four putative open reading frames (ORFs), respectively. RNA 1 is thought to encode the viral RNA-dependent RNA pol...

A new RT-PCR test has been developed to diagnose Chronic bee paralysis virus (CBPV) that is able to detect genetically variable viral isolates. In fact, up to 8.7% divergence between partial nucleotide sequences from viral isolates from French honey bees was highlighted in a preliminary variability study. The previously-described RT-PCR was unable to detect all these viral isolates and RT-PCR d...

among the viruses infecting honey bees, chronic bee paralysis virus (cbpv) is known to induce significant losses in honey bee colonies. cbpv is an unclassified polymorphic single stranded rna virus. using rt-pcr, the virus infections in honey bees can be detected in a rapid and accurate manner. bee samples were collected from 23 provinces of iran, between july-september 2011 and 2012. a total o...

  Among the viruses infecting honey bees, chronic bee paralysis virus (CBPV) is known to induce significant losses in honey bee colonies. CBPV is an unclassified polymorphic single stranded RNA virus. Using RT-PCR, the virus infections in honey bees can be detected in a rapid and accurate manner. Bee samples were collected from 23 provinces of Iran, between July-September 2011 and 2012. A tota...

Chronic bee paralysis virus (CBPV) is known as a disease of worker honey bees. To investigate pathogenesis of the CBPV on the queen, the sole reproductive individual in a colony, we conducted experiments regarding the susceptibility of queens to CBPV. Results from susceptibility experiment showed a similar disease progress in the queens compared to worker bees after infection. Infected queens e...

22 Detection of Chronic bee paralysis virus (CBPV) is reported for the first time in two 23 species of ants (Camponotus vagus and Formica rufa) and in Varroa destructor. A 24 quantitative real-time PCR (qPCR) method was used to detect and quantify CBPV in 25 infected bees, ants and mites. A minus-strand-specific RT-PCR was used to assess viral 26 replication. These results suggest a new way by ...

We define and study a non deterministic extension of Call-By-Push-Value (CBPV) for which we prove an Adequacy and Full Abstraction theorem with respect to a Scott semantics of classical Linear Logic (LL). We also consider an extension of CBPV with a general notion of global state for which we propose a simple LL-based Scott denotational semantics and prove an adequacy result.

Detection of Chronic bee paralysis virus (CBPV) is reported for the first time in two species of ants (Camponotus vagus and Formica rufa) and in Varroa destructor. A quantitative real-time PCR (qPCR) method was used to detect and quantify CBPV in infected bees, ants and mites. A minus-strand-specific RT-PCR was used to assess viral replication. These results suggest a new way by which the infec...