Related papers: Bounding normalization time through intersection t…
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
Expansions are provided for the moments of the number of collisions $X_n$ in the $\beta(2,b)$-coalescent restricted to the set $\{1,...,n\}$. We verify that $X_n/\mathbb{E}X_n$ converges almost surely to one and that $X_n$, properly…
We introduce methods to bound the mean of a discrete distribution (or finite population) based on sample data, for random variables with a known set of possible values. In particular, the methods can be applied to categorical data with…
We present some new and explicit error bounds for the approximation of distributions. The approximation error is quantified by the maximal density ratio of the distribution $Q$ to be approximated and its proxy $P$. This non-symmetric…
For noncorrelated random variables, we study a concentration property of the family of distributions of normalized sums formed by sequences of times of a given large length.
The subtyping rules for intersection types traditionally employ a transitivity rule (Barendregt et al. 1983), which means that subtyping does not satisfy the subformula property, making it more difficult to use in filter models for compiler…
The logical technique of focusing can be applied to the $\lambda$-calculus; in a simple type system with atomic types and negative type formers (functions, products, the unit type), its normal forms coincide with $\beta\eta$-normal forms.…
We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground lambda-term corresponds to some property of…
We construct a non - improved exponential bounds for distribution of normed sums of i.,i.d. random variables with random numbers of summand.
We study the strict type assignment for lambda-mu that is presented in [van Bakel'16]. We define a notion of approximants of lambda-mu-terms, show that it generates a semantics, and that for each typeable term there is an approximant that…
A prediction interval covers a future observation from a random process in repeated sampling, and is typically constructed by identifying a pivotal quantity that is also an ancillary statistic. Analogously, a tolerance interval covers a…
We critically reexamine the bosonization-debosonization procedure for systems including certain types of localized features (although more general scenarios are possible). By focusing on the case of a tunneling junction out of equilibrium,…
The renormalization that relates a coupling "a" associated with a distinct renormalization group beta function in a given theory is considered. Dimensional regularization and mass independent renormalization schemes are used in this…
We consider the branching ratio of $b \to s\gamma$ in gauge mediated supersymmetry breaking theories. Useful bounds on the parameter space of these models are derived from the experimental bounds on $b \to s\gamma$. Constraints on masses of…
The boundary discontinuity (BD) design is a non-experimental method for identifying causal effects that exploits a thresholding rule based on a bivariate score and a boundary curve. This widely used method generalizes the univariate…
We prove a priori bounds for solutions of stochastic reaction diffusion equations with super-linear damping in the reaction term. These bounds provide a control on the supremum of solutions on any compact space-time set which only depends…
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…
We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.
We consider the well-known problem of the computation of the (limiting) time-dependent performance characteristics of one-dimensional continuous-time birth and death processes on $\mathbb{Z}$ with time varying and possible state-dependent…
We study the stabilization time of two common types of influence propagation. In majority processes, nodes in a graph want to switch to the most frequent state in their neighborhood, while in minority processes, nodes want to switch to the…