We present here a global view of the syntactic shapes of the elementary sentences of French. This paper constitutes a synthesis of the numerous observations made on a set of about 12,000 verbs studied in the framework of lexicon-grammar (M. Gross 1975; J.-P. Boons, A. Guillet, C. Leclère 1976; G. Gross 1989; A. Guillet, C. Leclère 1992). The point of view is strictly formal, according to the no...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

The movement protein NSm of Tomato spotted wilt tospovirus (TSWV) plays pivotal roles in viral intercellular trafficking. Recently, the TSWV NSm was also identified as an avirulence (Avr) determinant during the Sw-5b-mediated hypersensitive response (HR). However, whether the cell-to-cell movement of NSm is coupled to its function in HR induction remains obscure. Here, we showed that the NSm mu...

Specification of the non-skeletogenic mesoderm (NSM) in sea urchin embryos depends on Delta signaling. Signal reception leads to expression of regulatory genes that later contribute to the aboral NSM regulatory state. In oral NSM, this is replaced by a distinct oral regulatory state in consequence of Nodal signaling. Through regulome wide analysis we identify the homeobox gene not as an immedia...

When humans communicate via natural language, they frequently make use of metalanguage to clarify what they mean and promote a felicitous exchange of ideas. One key aspect of metalanguage is the mention of words and phrases, as distinguished from their use. This paper presents ongoing work on identifying and categorizing instances of languagemention, with the goal of building a system capable o...

A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexibl...

BACKGROUND Rift Valley fever virus is an arthropod-borne human and animal pathogen responsible for large outbreaks of acute and febrile illness throughout Africa and the Arabian Peninsula. Reverse genetics technology has been used to develop deletion mutants of the virus that lack the NSs and/or NSm virulence genes and have been shown to be stable, immunogenic and protective against Rift Valley...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can be calculated from others. The main idea behind our paper is based on a relationship between XML documents and attribute grammars. Using this relationship it is possible to define semantic rules for XML attributes using a meta...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...