منابع مشابه
Fractional Calculus of Periodic Distributions
Two approaches for defining fractional derivatives of periodic distributions are presented. The first is a distributional version of the Weyl fractional derivative in which a derivative of arbitrary order of a periodic distribution is defined via Fourier series. The second is based on the Grünwald-Letnikov formula for defining a fractional derivative as a limit of a fractional difference quotie...
متن کاملHereditarily Optimal Realizations
Acknowledgments Obviously, though by no means trivially, many thanks are due to my advisor Professor Vincent Moulton, for introducing me to this fascinating subject, providing inspiration and helping me get started. Many thanks also to my colleague and co-author Dr. Katharina Huber for her patience during the many hours we spent going over the proofs in this paper. I am also most grateful to my...
متن کاملHereditarily effective typestreams
We prove that the hierarchy of hereditarily effective typestreams, that are effective models of inductivly defined types, has the length of the first recursivly inaccessible ordinal.
متن کاملThe Hereditarily Finite Sets
The theory of hereditarily finite sets is formalised, following the development of Świerczkowski [2]. An HF set is a finite collection of other HF sets; they enjoy an induction principle and satisfy all the axioms of ZF set theory apart from the axiom of infinity, which is negated. All constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, function...
متن کاملHereditarily Sequential Functionals
In order to deene models of simply typed functional programming languages being closer to the operational semantics of these languages, the notions of sequentiality, stability and seriality were introduced. These works originated from the deenability problem for PCF, posed in Sco72], and the full abstraction problem for PCF, raised in Plo77]. The presented computation model, forming the class o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1972
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-43-3-245-272