We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard’s ∗-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free MALL...

Mobile technologies have been successfully implemented in language learning, and have supported various innovative designs. However, many of these designs require considerable technical knowledge and support that are beyond the workload capacity of most language teachers. This paper discusses a study using an over-themarket mobile device combined with a task-based approach to design a contextua...

Although pricing strategy in marketing is a crucial issue, there islittle literatureon the relationship between pricing and sellers’ reputation based on dynamic pricing data. Using data on Taobao.com, we compare pricing behaviors of two types of sellers, business sellers (T-Mall sellers) which have higher reputation and individual sellers (Tao sellers) which have relatively lower reputation. We...

In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative and additive fragment of Linear Logic, a resources conscious refinement of Classical Logic. Moreover, we set a correspondence between this paradigm and those more pragmatic ones inspired to transactional or distributed...

Fast developments in the food retailing industry have led to growth of shopping malls, particularly in the large cities of Saudi Arabia. The purpose of this study is to compare men and women for differences in mall shopping. Using empirical research, this paper examines differences between the genders associated with mall patronage. Based on a survey of 513 shoppers across Saudi Arabia, the stu...

In this paper, we propose a scheme to push personalized recommendation and advertisement services for the shopping people based on behavior patterns, inferring by significant shopping stores in the shopping mall from mobile phone data. The store-level localization in the shopping mall is obtained by sparse calibration orientated semi-supervised machine learning method, called Semi-supervised Ex...

This paper examines the effect of value-added taxes (VATs) on international trade. Destination-based VATs are commonly thought to encourage exports, since exports are exempt from tax while imports are taxed. Economic theory implies that exchange rate adjustment prevents destination-based VATs from affecting exports and imports, since exchange rate appreciation completely undoes the effects of i...

Indiana exports reached $3.98 billion in the third quarter of 2000. That represents a 14.8% increase when compared to the third quarter of 1999. Over the first three quarters of 2000 Indiana exports totaled $12.3 billion, about $2 billion more than sales during the same period in 1999. If this pace continues in the final quarter, Indiana exports would exceed $16 billion for the year — the highe...