Abstract An economic experiment with endogenous institutions informs the political economy of land value taxation relative to uniform property in terms efficiency and sprawl reduction. Heterogeneous type distributions were used so that was earnings-rational, taxation, for 40, 60, 80 percent participants. The model’s induced values predict leads less sprawl, more earnings, tax revenue than taxat...

For any spatially explicit management, determining the appropriate spatial scale of management decisions is critical to success at achieving a given management goal. Specifically, managers must decide how much to subdivide a given managed region: from implementing a uniform approach across the region to considering a unique approach in each of one hundred patches and everything in between. Spat...

Abstract Reintroductions of large carnivore species present unique opportunities to model population dynamics as populations can be monitored from the beginning a reintroduction. However, analysis such reintroduced is rare and may limited in incorporating complex movements environmental interactions carnivores. Starting 2004, Asiatic black bears Ursus thibetanus were tracked Republic Korea, alo...

Explicit Substitutions (ES) calculi are extensions of the λcalculus that internalize the substitution operation, which is a metaoperation, by taking it as an ordinary operation belonging to the grammar of the ES calculus. As a formal system, ES are closer to implementations of functional languages and proof assistants, and are useful for studying properties of such systems. Nevertheless, severa...