Related papers: Confluency property of the call-by-value $\lambda\…
In this note we provide a full conjugacy and subdifferential calculus for convex convex-composite functions in finite-dimensional space. Our approach, based on infimal convolution and cone-convexity, is straightforward and yields the…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…
Recently a new family of enumerative invariants called leaky Hurwitz numbers was introduced by Cavalieri-Markwig-Ranganathan in the context of logarithmic intersection theory. They admit an interpretation via tropical covers where the…
In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…
We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which also leads to a double-sum extension of the $q$-Chu-Vandermonde formula.
We give a new proof of the Kat\v{e}tov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued…
In this work we give a proof of the mean-field limit for $\lambda$-convex potentials using a purely variational viewpoint. Our approach is based on the observation that all evolution equations that we study can be written as gradient flows…
We investigate a weighted Multilevel Richardson-Romberg extrapolation for the ergodic approximation of invariant distributions of diffusions adapted from the one introduced in~[Lemaire-Pag\`es, 2013] for regular Monte Carlo simulation. In a…
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a…
We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…
Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…
The Alesker product turns the space of smooth translation-invariant valuations on convex bodies into a commutative associative unital algebra, satisfying Poincar\'e duality and the hard Lefschetz theorem. In this article, a version of the…
Instead of developing a customized typed lambda-calculus for each theory, we attempt to design a general parametric calculus that permits to express the proofs of any theory. This way, the problem of expressing proofs in the lambda-calculus…
In this paper, we investigate a connection between convolution products for quiver Hecke algebras and tensor products for quantum groups. We give a categorification of the natural projection $ \pi_{\lambda, \mu} :…
We derive a quadratic recursion relation for the linear Hodge integrals of the form $\langle\tau_2^n\lambda_k\rangle$. These numbers are used in a formula for Masur-Veech volumes of moduli spaces of quadratic differentials discovered by…
For a finitely aligned k-graph $\Lambda$ with X a set of vertices in $\Lambda$ we define a universal C*-algebra called $C^*(\Lambda,X)$ generated by partial isometries. We show that $C^*(\Lambda,X)$ is isomorphic to the corner…
We consider the problem of approximation of a continuous function $f$ defined on a compact metric space $X$ by elements from a sum of two algebras. We prove a de la Vall\'{e}e Poussin type theorem, which estimates the approximation error…
We generalize and prove the recursive relation \[ S_{\lambda}(V) = \sum_{L\subseteq V\text{ line}} S_{\lambda}(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a…
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…
This work settles the Eichler-Shimura congruence relation of Blasius and Rogawski for certain 5-dimensional Hodge-type Shimura varieties, that were not tractable by previously known methods. In a more general context we introduce a…