The main observational equivalences of the untyped lambda-calculus have been characterized in terms of extensional equalities between B\"ohm trees. It is well known that the lambda-theory H*, arising by taking as observables the head normal forms, equates two lambda-terms whenever their B\"ohm trees are equal up to countably many possibly infinite eta-expansions. Similarly, two lambda-terms are...

Expression of the transcription factor genes brachyury, Tbx2/3 and sall is characterized in detail for the first time in an indirectly developing spiralian with a feeding trochophore. In Hydroides elegans, gut formation proceeds by invagination during embryogenesis and is followed by feeding-dependent posterior growth during larval stages. Posterior growth gives rise to the reproductive and seg...

Townes-Brocks syndrome (TBS, OMIM #107480) is an autosomal dominant disorder that causes multiple birth defects including renal, ear, anal and limb malformations. Mutations in SALL1 have been postulated to cause TBS by haploinsufficiency; however, a mouse model carrying a sall1-null allele does not mimic the human syndrome. Since the mutations that cause TBS could express a truncated SALL1 prot...

By screening a fetal brain two-hybrid library with the death domain of the p75 neurotrophin receptor (NTR), we identified the Sall2 transcription factor as a novel interacting protein. Sall2 is a unique member of the Sall gene family, which is believed to be a tumour suppressor. Here, we show that Sall2 contains a p75NTR interaction domain not found in other Sall proteins and that p75NTR/Sall2 ...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Parametric and nonparametric statistical methods have been applied to the alcohol dependence dataset collected in the Collaborative Study on the Genetics of Alcoholism (COGA). Our nonparametric linkage analyses (NPL) were based on the Sall statistic of GENEHUNTER [Kruglyak et al., 1996] and the improved NPL statistic of GENEHUNTER-Plus [Kong and Cox, 1997]. Based on likely regions for alcohol s...