The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

Abstract The present study attempted to experimentally analyze the effect of fiscal illusion in the form of Flypaper effect on spending demand levels of provincial governments in Iran. To this aim, theoretical foundations and literature review were presented, and then the model used for investigation was specified. Finally, using time series data for provinces of Iran during 2000-2013 estimat...

1. School of Computer and Information Engineering, Fujian Provincial University Key Laboratory of Internet of Things Application Technology, Xiamen University of Technology, Xiamen 361024, China 2. Guangdong Provincial Key Laboratory of Digital Signal and Image Processing Techniques, Department of Electronics Engineering, Shantou University, Shantou 515063, China 3. Department of Electronic Sci...

This paper introduces the spatial panel autocorrelation model, utilizes C-D production functions, constructs the spatial econometric model and finally studies the spatial correlativity between provincial economic growth and logistics. By using the spatial package of Matlab software, it verifies the possibility if there is the remarkable autocorrelation of the Chinese provincial economic growth ...

OBJECTIVE To understand how national and provincial tuberculosis programme managers in Pakistan perceive and engage with the Stop TB strategy, its strengths, weaknesses and their experience in its implementation. National and provincial tuberculosis programme managers play an important role in effective implementation of the Stop TB strategy. DESIGN A qualitative interview study was conducted...