A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.

Abstract. In this document we summarize a few supplementary results to the accompanying paper. We give a detailed proof of the bounds on the normalized total communicability obtained via quadrature rules (Theorem 3.1, section 3). We also derive the computational costs for the heuristics introduced. Moreover, this document contains the results of some numerical experiments performed on four smal...

We study an extension of Plotkin’s call-by-value lambda-calculus via two commutation rules (sigma-reductions). These commutation rules are sufficient to remove harmful call-by-value normal forms from the calculus, so that it enjoys elegant characterizations of many semantic properties. We prove that this extended calculus is a conservative refinement of Plotkin’s one. In particular, the notions...

the study of the function of religion in creating meaning in man’s individual life and its social effects is one of the significant subjects in sociology of religion. the significance of meaning in life stems from the fact that with the advent of the modern world, the traditional value systems encounter a challenge and the volatility of the modern world life, its multiple of meanings and its va...

Background: The paper points out the present limited possibility of using the verbal description of injuries for the needs of experts from the field of road transportation as relevant criminalistics traces, as well as the options of the FORTIS system that creates a new area for a deeper interdisciplinary approach in the field of expert evidence. Further a description of how to create injury si...

This article lays the conceptual foundations for the study of the market value of information commodities. The terms “information” and “commodity” are given precise definitions in order to characterize “information commodity,” and thus to provide a sound basis for examining questions of pricing. Information is used by marketplace actors to make decisions or to control processes. Thus, we define...