We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linear Logic (MALL). We use tools from Domain theory to develop a semantic notion of proof net for MALL, and prove a Sequentialization Theorem. This work forms part of a continuation of previous joint work with Radha Jagadeesan...

1Associate Member of ASCE, Ph.D., Assoc. Professor, Dept. of Civil and Env. Eng., Stanford Univ., and Director, Center for Integrated Facility Engineering (Terman Eng. Ctr., 380 Panama Mall, Stanford, CA 94305-4020, USA) E-mail:[email protected] 2Ph.D., Sr. Research Scientist, Dept. of Civil and Env. Eng., Stanford Univ. and Executive Director, Center for Integrated Facility Engineering (CIF...

foreign direct investment (fdi) plays a crucial role in the economic literature, especially in developing countries. it is also an important factor for policy makers to analyze the relation between foreign direct investment and other important economic variables. one of these variables is export which is always mentioned in iran's economic development programs. in this study, the relation betwe...

In this paper, we develop a new model to describe a dynamic revenue-sharing problem between an online shopping mall and a store in an E-commerce market. We formulate the revenue-sharing problem as a dynamic principal-agent problem, which is then transformed to a risk-sensitive stochastic optimal control problem where the objective of the risk-averse shopping mall is to find a risk-sensitive rev...

In this paper we use new, detailed and comprehensive linked firm-product data to describe various dimensions of the Chinese export boom from 2000-2007. First, we decompose the total growth in exports into an intensive and extensive margin at both the firm and the product level. We also use this decomposition to analyse the role of processing firms, foreign-owned firms and firms which benefit fr...

Transport connectivity is a crucial determinant of bilateral exports. This paper presents an empirical assessment of the relationship between bilateral maritime liner shipping connectivity and exports in containerizable goods during the period 2006–2013. Making use of probed “gravity” type trade models, the paper incorporates new data on different measurements of maritime distance, as well as a...