Results 11 to 20 of about 251 (176)

The categorical multi-combinator machine - cmcm [PDF]

, 1992
Implementations of functional programming languages can take a number of different forms, and many different machines have been developed for this purpose. This paper introduces another abstract machine, the Categorical Multi-Combinator Machine (CMCM). A
Lins, Rafael D., R. Lins, S. Thompson, Thompson, Simon   +3 more
core   +1 more source

On the complexity of the standard translation of lambda calculus into combinatory logic [PDF]

, 2018
We investigate the complexity of the standard translation of lambda calculus into combinatory logic. The main result shows that the asymptotic growth rate of the size of a translated term is Θ(n3) in worst-case, where n denotes the size of the lambda ...
Lachowski, Łukasz
core   +1 more source

lambda!-calculus, Intersection Types, and Involutions [PDF]

, 2019
Abramsky’s affine combinatory algebras are models of affine combinatory logic, which refines standard combinatory logic in the direction of Linear Logic.
Di Gianantonio P., Di Gianantonio, Pietro, Ciaffaglione A., Ciaffaglione, A., Ciaffaglione, Alberto, Scagnetto I., Honsell, Furio, Scagnetto, I., Di Gianantonio, P., Scagnetto, Ivan, Lenisa, Marina, Honsell F., Lenisa, M., Honsell, F., Lenisa M.   +14 more
core   +1 more source

Reduction in a linear lambda-calculus with applications to operational semantics

, 2005
We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core   +1 more source

3D Printing Innovations in Polymeric Porous and Patterned Architecture

Advanced Functional Materials, EarlyView.
Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil, Sri Vaishnavi Thummalapalli, Clarissa Westover, Arunachalam Ramanathan, M. Taylor Sobzcak, Roumika Patil, Qixuan Xiang, Tiantian Li, Sui Yang, Timothy E. Long, Hongyue Sun, Xianqiao Wang, Yang Liu, Kenan Song   +13 more
wiley   +1 more source

Hierarchical MXene‐Derived NTP/C Nanohybrids for Cryogenic Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
A hierarchical MXene‐derived NaTi2(PO4)3/C nanohybrid enables efficient sodium‐ion storage down to −40°C by integrating fast ion–electron transport pathways with an ether‐based electrolyte. The system promotes dominant pseudocapacitive behavior and forms a robust inorganic‐rich SEI, collectively mitigating kinetic and interfacial limitations, thereby ...
M. Sai Bhargava Reddy, Mohammad Zaid, Sayan Das, Sooryadas Sudhakaran, Shampa Aich, Vilas G. Pol   +5 more
wiley   +1 more source

Interlayer Expansion of Bulk MoS2 via Top‐Down Organic Pillaring Enables Tunable Li+ Intercalation and Controlled Solvent Co‐Intercalation

Advanced Functional Materials, EarlyView.
Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi, Pakornrum Tulaphon, Franz Jacobi, Kyeonghyeon Nam, Jameela Karol, Mete B. Durukan, Christoph Scheurer, Desirée Leistenschneider, Simon Fleischmann   +8 more
wiley   +1 more source

Bandgap‐Engineered AlGaAs/GaAs Heterostructures for Wavelength‐Selective Dual‐Polarity Photoelectrochemistry

Advanced Functional Materials, EarlyView.
Bandgap‐engineered AlGaAs/GaAs heterostructures exhibit wavelength‐selective dual‐polarity photoelectrochemistry, switching from photocathodic to photoanodic response depending on excitation wavelength. The polarity transition is governed by band‐selective absorption, built‐in electric‐field‐driven carrier transport, and interfacial charge‐transfer ...
Yukai Mao, Lipin Chen, Jules Courtin, Siyu Lin, Gangri Cai, Yan Zhu, Yoan Léger, Nicolas Bertru, Jinshi Zhao, Charles Cornet   +9 more
wiley   +1 more source

Functional completeness of the mixed λ-calculus and combinatory logic

, 1990
Functional completeness of the combinatory logic means that every lambda-expression may be translated into an equivalent combinator expression and this is the theoretical basis for the implementation of functional languages on combinator-based abstract ...
Nielson, Hanne Riis, Nielson, Flemming
core   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source