Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nominal approaches come close to the style of reasoning employed in informal proofs. In this paper we will compare four formalisations based on de Bruijn indices and on names from the nominal logic work, thus providing some...

We show the soundness of a-calculus B where de Bruijn indices are used, substitution is explicit, and reduction is step-wise. This is done by interpreting B in the classical calculus where the explicit substitution becomes implicit and de Bruijn indices become named variables. This is the rst at semantics of explicit substitution and step-wise reduction and the rst clear account of exactly when...

We introduce FMG (Fraenkel-Mostowski Generalised) set theory, a generalisation of FM set theory which allows binding of infinitely many names instead of just finitely many names. We apply this generalisation to show how three presentations of syntax — de Bruijn indices, FM sets, and name-carrying syntax — have a relation generalising to all sets and not only sets of syntax trees. We also give s...

Using a very small sample of 8 datasets it was recently shown by De Visscher (2011) that the g-index is very close to the square root of the total number of citations. It was argued that there is no bibliometrically meaningful difference. Using another somewhat larger empirical sample of 26 datasets I show that the difference may be larger and I argue in favor of the g-index. 1. Introduction Th...

precipitation and air temperature data, only, are often recorded at meteorological stations, with radiation beingmeasured at very few weather stations, especially in developing countries. therefore there arises a need for suitablemodels to estimate solar radiation for a completion of data sets. this paper is about an evaluation of eight models foran estimation of daily solar radiation (q) from ...