Results 81 to 90 of about 251 (176)
Advancing design strategies in smart stimulus‐responsive liposomes for drug release and nanomedicine
BMEMat, EarlyView.Schematic illustration of stimulus‐responsive liposomes designed for controlled drug release and nanomedicine. The innermost circle represents different liposomal structures, including unilamellar, multilamellar, and multivesicular liposomes. The middle layer illustrates the responsive phospholipid components.
Yuchen Guo +9 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT With the increasing demand for high‐quality agricultural products, the agricultural cold‐chain logistics packaging (ACLP) industry faces significant environmental pressure and circular economy issues. This study analyzes the critical success factors (CSFs) that would enhance ACLP circular economy performance (CEP). The adversarial interpretive
Miao Su +3 more
wiley +1 more source
Funding Costs and Liquidity Creation: Does ESG Play Any Role?
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines how banks' funding costs affect liquidity creation and whether environmental, social, and governance (ESG) performance shapes this relationship. Using panel data for 136 U.S. commercial banks from 2005 to 2022, we show that higher funding costs are associated with lower liquidity creation, indicating that more expensive ...
Sattam Bin Kowibeen +2 more
wiley +1 more source
Algebra and Topology in Lambda Calculus
, 2008 The untyped lambda calculus was introduced around 1930 by Church [11] as part of an investigation in the formal foundations of mathematics and logic.
Antonino Salibra
core
Coherence and transitivity in coercive subtyping [PDF]
, 2004 The aim of this thesis is to study coherence and transitivity in coercive subtyping. Among other things, coherence and transitivity are key aspects for a coercive subtyping system to be consistent and for it to be implemented in a correct way. The thesis
Luo, Yong
core
Lambda Abstraction algebras: representation theorems
, 1995 Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic.
SALIBRA A. +4 more
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Drawing upon ecological modernization theory as the analytical framework, this study employs macro‐level longitudinal tracking data covering China's major regions as research samples. It measures the green and low‐carbon development (GLCD) of manufacturing from the four dimensions—“carbon reduction, pollution mitigation, ecological expansion ...
Deng Wang +4 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how directors with environmental protection (EP) backgrounds influence corporate biodiversity concern (BIO) among Chinese A‐share listed firms from 2008 to 2023. Drawing on Upper Echelons Theory, we argue that directors' environmental expertise shapes firms' biodiversity strategies.
Chengming Huang +2 more
wiley +1 more source
COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC
Since Griffin's work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Griffin's type system is the double-negation-elimination rule, which prevents one to analyze the ...
馬場, 謙介 +5 more
core
, 1995 Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound
Henk Barendegt +2 more
core