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...

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...