نتایج جستجو برای: power substitution property
تعداد نتایج: 690551 فیلتر نتایج به سال:
The-calculus is a-calculus with a control-like operator whose reduction rules are closely related to normalisation procedures in classical logic. We introduce exp, an explicit substitution calculus for , and study its properties. In particular, we show that exp preserves strong normalisation, which provides us with the rst example {moreover a very natural one indeed{ of explicit substitution ca...
This paper discusses the manner in which SNOMED CT (SCT) has confused the metonymic role of some class labels as holonyms and has inappropriately assigned property inheritance down a holonymic chain due to its transitiveness. The notion of emergent properties is introduced as the only form of property that can exist on a holonym and its use in a hypernymic inheritance hierarchy is discussed. Th...
In their famous paper on partitions, Hardy and Ramanujan also raised the question of behaviour number $p_s(n)$ partitions a positive integer~$n$ into $s$-th powers gave some preliminary results. We give first an asymptotic formula to all orders, then exact formula, describing corresponding generating function $P_s(q) = \prod_{n=1}^\infty \bigl(1-q^{n^s}\bigr)^{-1}$ near any root unity, generali...
The first examples of thiocyanate-free thiophene-substituted Ru(II) cyclometalated complexes, based on thiophene-derived 2-(2,4-difluorophenyl)pyridine ligands, are presented and investigated as photosensitizers in DSCs. Upon thiophene substitution the complexes presented enhanced optical properties compared to the reference dye with no thiophene substitution. DSCs based on the dithienyl-derive...
We introduce a simply typed -calculus " which has both contexts and environments as rst-class values. In ", holes in contexts are represented by ordinary variables of appropriate types and hole lling is represented by the functional application together with a new abstraction mechanism which takes care of packing and unpacking of the term which is used to ll in the holes of the context. " is a ...
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables of appropriate types and hole filling is represented by the functional application together with a new abstraction mechanism which takes care of packing and unpacking of the term which is used to fill in the holes of the conte...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید