Results 151 to 160 of about 251 (176)
Urban Housing Markets and Sustainability Risk: Empirical Evidence From South African Cities
Sustainable Development, EarlyView.ABSTRACT Despite the global shift toward sustainability and rising expectations for socially and environmentally responsible housing, evidence from South Africa's urban markets remains limited and underexplored. This study examines how sustainability‐related vulnerabilities shape downside housing risk across 60 cities between 2002 and 2021.
Bereket A. Ataro +2 more
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT The rapid integration of artificial intelligence (AI) into financial security markets presents both significant opportunities and emerging governance challenges for sustainable development. This study employs a comparative mixed‐methods approach to examine how AI‐driven innovation in trading, risk management, regulatory compliance, and ...
Suleman Bawa +3 more
wiley +1 more source
From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust
Sustainable Development, EarlyView.ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin +5 more
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT Sustainable Construction Materials (SCM) are crucial for reducing lifecycle emissions in the built environment, yet their adoption remains limited in many developing economies, such as Nigeria. This study investigates how awareness influences the adoption of SCM among professionals in Nigeria's Architecture, Engineering, and Construction (AEC)
Mumini Damilola Osuolale +2 more
wiley +1 more source
An upper bound for reduction sequences in the typed gamma-calculus [PDF]
, 1991 Schwichtenberg, Helmut
core
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary Corporate entrepreneurship (CE) requires firms to pursue both exploratory and exploitative innovation, yet limited research explains how intellectual capital (IC) is translated into these distinct outcomes. We develop a contingency model that specifies how and when IC drives exploration and exploitation.
Gholamhossein (Amir) Mehralian +2 more
wiley +1 more source
Combinatory weak reduction in lambda calculus
Theoretical Computer Science, 1998 Combinatory logic claims to do the same work as λ-calculus but with a simpler language and a simpler reduction process. In a sense this claim is true: the classical reduction process in λ-calculus is indeed more complex than that in Combinatory logic ...
Naim Cağman
exaly +2 more sources
On the algebraic models of lambda calculus
Theoretical Computer Science, 2000 The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way Boolean algebras algebraize the classical propositional calculus.
Antonino Salibra
exaly +2 more sources
COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC
Bulletin of Informatics and Cybernetics, 2000 Since Griffin\u27s work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Griffin\u27s type system is the double-negation-elimination rule, which prevents one to analyze
Kensuke Baba, Sachio Hirokawa
exaly +1 more source
Clones, closed categories, and combinatory logic
Lecture Notes in Computer ScienceWe give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tensors,
Philip Saville
exaly +3 more sources