Type and effect systems are a tool to analyse statically the behaviour of programs witheffects. We present a proof based on the so called reducibility candidates that a suitablestratification of the type and effect system entails the termination of the typable programs.The proof technique covers a simply typed, multi-threaded, call-by-value lambda-calculus,equipped with a va...

Two stage random digit dialing procedures as developed by Mitofsky and elaborated by Waksberg are widely used in telephone sampling of the U.S. household population. Current alternative approaches have, relative to this procedure, coverage and cost deficiencies. These deficiencies are addressed through telephone sample designs which use listed number information to improve the cost-efficiency o...

OBJECTIVE To assess whether mothers and fathers have a higher long term risk of death, particularly from cardiovascular disease and cancer, after the mother has had pre-eclampsia. DESIGN Population based cohort study of registry data. SUBJECTS Mothers and fathers of all 626 272 births that were the mothers' first deliveries, recorded in the Norwegian medical birth registry from 1967 to 1992...

There is an increasingly extensive literature on the problem of describing connection (monodromy) groups and automorphism families polytopes maniplexes that are not regular or reflexible. Many such arise as result constructions truncations products. Here we show for a wide variety these constructions, group output can be described in nice way terms input. We call operations stratified. Moreover...