Results 51 to 60 of about 272,458 (83)
Some comments on Rota's Umbral Calculus
, 1980 Rota's Umbral Calculus is put in the context of general Fourier analysis. Also, some shortcuts in the proofs are illustrated and a new characterization of sequences of binomial type is given.
Zeilberger, Doron
core +1 more source
Umbral calculus, binomial enumeration and chromatic polynomials
, 1988 We develop the concept of partition categories, in order to extend the Mullin-Rota theory of binomial enumeration, and simultaneously to provide a natural setting for recent applications of the Roman-Rota umbral calculus to computations in algebraic ...
Nigel Ray
core +1 more source
An introduction to Umbral Calculus
, 1998 The aim of these lectures is to give an introduction to combinatorial aspects of Umbral Calculus. Seen in this light, Umbral Calculus is a theory of polynomials that count combinatorial objects.
A. Di Bucchianico
core
A Regular Simply-Typed λ-Calculus
, 2008 . What makes open terms different from closed terms is considered basic, intrinsic, natural, and obvious. This work revisits this age old concept and presents the regular simply-typed λ-calculus, a conservative extension of the simply typed λ-calculus ...
Carsten Schürmann
core
An Injective CPS-translation for the Extensional λ-calculus
We give a syntactical proof to the statement that a novel CPS translation with surjective pairing is injective for the extensional λ-calculus. The result itself might be preliminary, since the source language (the extensional λ-calculus) of the ...
Fujita, Ken-etsu
core
Unification in a λ-calculus with intersection types
, 1993 We propose related algorithms for unification and constraint simplification in λ → & , a refinement of the simply-typed λ-calculus with subtypes and bounded intersection types.
Michael Kohlhase, Frank Pfenning
core
A New Approach to Multivariate q-Euler Polynomials Using the Umbral Calculus
, 2014 We derive numerous identities for multivariate q- Euler polynomials by using the umbral ...
Araci, Serkan +3 more
core +1 more source
Modified Apostol-type polynomials arising from umbral calculus
, 2014 In this paper, by using the orthogonality type as defined in the umbral calculus, we derive an explicit formula for several well-known polynomials as a linear combination of the modified Apostol-type ...
Simsek, Yılmaz +2 more
core
A note on poly-Bernoulli polynomials arising from umbral calculus
, 2013 In this paper, we give some recurrence formula and new and interesting 732 Dae San Kim, Taekyun Kim and Sang-Hun Lee identities for the poly-Bernoulli numbers and polynomials which are derived from umbral ...
Dae San Kim, Sang-Hun Lee, Taekyun Kim
core
λ-calculus and types Lecture notes
, 2008 1.1 A short history The λ-calculus was introduced by Alonzo Church in the 40ies. The initial goal was formalisation of mathematical reasoning, I believe.
Thorsten Altenkirch
core