Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics. This paper is the first to apply hereditary substitution to show normalization of a type theory corresponding to a non-constructive logic, namely the λ ∆-calculus as formulated by Rehof. We show th...

BACKGROUND Approximately 30 % of all breast cancer is at least partly attributed to hereditary factors. Familial breast cancer is often inherited in the context of cancer syndromes. The most commonly mutated genes are BRCA1 and BRCA2 in hereditary breast and ovarian cancer syndrome. The genetic background in families with hereditary breast cancer without predisposing germ line mutations in BRCA...

BACKGROUND To assess the quality of life (QoL) and predictors thereof in Dutch adult hereditary and non-hereditary retinoblastoma (RB) survivors. METHODS In this population-based cross-sectional study, a generic QoL questionnaire (SF-36) and a disease-specific interview were administered to 87 adult RB survivors aged 18 to 35 years. Their QoL data were compared with those of a Dutch healthy r...

Chorea occurs as a hereditary or non-hereditary disorder. Nonhereditary chorea most commonly occurs in rheumatic fever (Sydenham’s Chorea) but may also be encountered in other metabolic and systemic disorders. Green House and Albuquerque listed more than forty different causes of chorea. The etiology of non-rheumatic chorea may cause diagnostic difficulties, due to its rarity. We report a 75 ye...