We present a graph reduction technique for the implementation of functional-logic languages. Our technique, called quasisharing, attempts to provide a maximum degree of sharing between alternative narrowings while still admitting a reasonable compilation. Quasisharing resembles aspects of an algorithm of Lamping for optimal reduction in the lambda calculus. We also describe an extension to the ...

Given an adjunction F ⊣ G connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to the monad and comonad of the adjunction. We discuss applications of these resolutions to spectral sequences for derived completions and Goodwillie calcul...

ions apply to concretions more or less exactly as in the π-calculus. Definition 6.3. The application G@C of a φ-abstraction and concretion is defined as follows: ((~ w)P )@ν~z〈 ~y 〉.Q =def ν~z( {~y/~ w}P ‖ Q ) where ~ y and ~ w have the same length, and where names in N must be substituted for names in N , and names in X for names in X . Applications can of course be carried out in the context ...

In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present a computational method for constructing temporal representation of Korean sentences on the basis of G grammar proposed by [Renaud, 1992;1996].

We consider functional of the calculus of variations subjected to constraints of the form / g(x,u)dx = 1. Jn We identify the relaxed problem and we show that, when a lack of compactness occurs, the constraint may relax to a gap term.

We consider a random variable X satisfying almost-sure conditions involving G := DX; DL X where DX is X’s Malliavin derivative and L 1 is the pseudo-inverse of the generator of the OrnsteinUhlenbeck semigroup. A lower(resp. upper-) bound condition on G is proved to imply a Gaussian-type lower (resp. upper) bound on the tail P [X > z]. Bounds of other natures are also given. A key ingredient is ...

For given triangular real Lie algebra $\mathfrak{g}$ we construct a certain completion $C^\infty(\mathfrak{g})$ of its universal enveloping algebra. It is Frechet-Arens-Michael algebra, which consists elements polynomial growth and satisfies to the following property: every homomorphism from Banach all whose are has an extension continuous $C^\infty(\mathfrak{g})$. Elements this can be called f...

We define a theory of Goodwillie calculus for enriched functors from finite pointed simplicial G-sets to symmetric G-spectra, where G is a finite group. We extend a notion of G-linearity suggested by Blumberg to define stably excisive and ρ-analytic homotopy functors, as well as a G-differential, in this equivariant context. A main result of the paper is that analytic functors with trivial deri...

background and aims. gingival recession (gr), a common problem in periodontium, is associated with various etiologic factors. there is controversy over the role and importance of these factors. the aim of this study was to evaluate the etiologic factors of gr in a group of subjects in northwest iran. materials and methods. in this case-control study, patients referring to a university clinic (1...