Displaying similar documents to “Curvilinear integrals along enriched paths.”

Beta-reduction as unification

A. Kfoury (1999)

Banach Center Publications

Similarity:

We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.

Minimal thinness for subordinate Brownian motion in half-space

Panki Kim, Renming Song, Zoran Vondraček (2012)

Annales de l’institut Fourier

Similarity:

We study minimal thinness in the half-space H : = { x = ( x ˜ , x d ) : x ˜ d - 1 , x d > 0 } for a large class of subordinate Brownian motions. We show that the same test for the minimal thinness of a subset of H below the graph of a nonnegative Lipschitz function is valid for all processes in the considered class. In the classical case of Brownian motion this test was proved by Burdzy.