منابع مشابه
Second-Order Type Isomorphisms Through Game Semantics
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines. Our game model of λμ-calculus is based ...
متن کاملDual Spaces and Isomorphisms of Somedifferential Banach
A S is isometri-cally isomorphic to the second dual of F S. For unbounded selfadjoint operators S the paper establishes the full analogy with the bounded case: A S is isometrically isomorphic to the second dual of F S. The paper also classiies the algebras A S and F S up to isometrical *-isomorphism and obtains some partial results about bounded but not necessarily isometrical
متن کاملABS Solution of equations of second kind and application to the primal-dual interior point method for linear programming
Abstract We consider an application of the ABS procedure to the linear systems arising from the primal-dual interior point methods where Newton method is used to compute path to the solution. When approaching the solution the linear system, which has the form of normal equations of the second kind, becomes more and more ill conditioned. We show how the use of the Huang algorithm in the ABS cl...
متن کاملA Mathematical Method for Managing Inventories in a Dual Channel Supply Chain
The advent of e-commerce has prompted many manufacturers to redesign their traditional channel structure by engaging in direct sales. In this paper, we present a dual channel inventory model based on queuing theory in a manufacturer-retailer supply chain, consisting of a traditional retail channel and a direct channel which stocks are kept in both upper and lower echelon. The system receives ...
متن کاملProfinite completion and double-dual : isomorphisms and counter-examples
We define, for any group G, finite approximations ; with this tool, we give a new presentation of the profinite completion b π : G → b G of an abtract group G. We then prove the following theorem : if k is a finite prime field and if V is a k-vector space, then, there is a natural isomorphism between b V (for the underlying additive group structure) and the additive group of the double-dual V ∗...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Analysis
سال: 1976
ISSN: 0022-1236
DOI: 10.1016/0022-1236(76)90069-0