A feasible algorithm for typing in Elementary Affine Logic

We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL*) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page

Marginal Activity Access Cost (MAAC): a new indicator for sustainable Land Use/Transport (LUT) planning

The paper presents the ‘Marginal Activity Access Cost’, an accessibility indicator providing estimation in monetary terms of the impacts on mobility and on the environment of locating a single new activity in a specific zone of the urban area. In the first part of this paper, the new indicator is presented and compared to other accessibility indicators proposed in literature. In the second part, the MAAC is validated through an application to the urban area of Rome. The paper concludes with brief remarks on using the proposed accessibility indicator as index of performance for sustainable spatial planning

Changing accessibility, dwelling price and the spatial distribution of socio-economic activities

In this paper we present an activities location choice model with endogenous price which simulate, based on Expected Random Utility principle, the behavior of several agents of the urban system (i.e. the workers distinguished by income, the firms by economic sector) to estimate the spatial distribution of socioeconomic activities within the study area as well as the impact of differentiated changing accessibility on the dwellings price. The study area for this research is the metropolitan area of Napoli (South-Italy), for which we show the results of the model estimation and the results of a “backcasting” application to future transportation scenarios

Competition on fast track: an analysis of the first competitive market for HSR services

This paper gives an overview of the dual effects of the opening, in Italy, of the new HSR line with a single operator (between 2005-2012) and the effects of a new operator entering the HSR market (2012-onward), on supply, demand and prices, thus inferring the effects of competition in this typically monopolistic market. The analyses are based on source data (laws and regulations, business plans, timetables, prices) as well as ad hoc extensive surveys, such as on-board counts on the HSR and intercity trains, retrospect surveys, and RP/SP interviews. In addition, an integrated modeling system has been developed to forecast the effects of competing titnetables/services/prices in terms of different HSR operators, competing modes (air/auto/railways), services (1st class/2nd class, etc.) and newly generated trips