Results 71 to 80 of about 14,639 (283)
A Lambda-Calculus with Constructors [PDF]
, 2006 We present an extension of the λ(η)-calculus with a case construct that propagates through functions like a head linear substitution, and show that this construction permits to recover the expressiveness of ML-style pattern matching. We then prove that this system enjoys the Church-Rosser property using a semi-automatic ‘divide and conquer' technique ...
Arbiser, Ariel +2 more
openaire +2 more sources
Beta Reduction is Invariant, Indeed (Long Version) [PDF]
, 2014 Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is $\lambda$-calculus a reasonable machine?
Accattoli, Beniamino, Lago, Ugo Dal
core
Advanced Engineering Materials, EarlyView.This study demonstrates an efficient recycling route for out‐of‐spec AlSi10Mg atomized powders through compaction and arc remelting followed by suction casting. By correlating compaction load, cooling rate, and resulting microstructure, we show that intermediate pressures (50–80 kN) and rapid cooling refine dendrites, reduce porosity, and enhance ...
Mila Christy de Oliveira +4 more
wiley +1 more source
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus [PDF]
Logical Methods in Computer Science, 2014 We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation.
Ali Assaf +4 more
doaj +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Semantics of Typed Lambda-Calculus with Constructors [PDF]
Logical Methods in Computer Science, 2011 We present a Curry-style second-order type system with union and intersection types for the lambda-calculus with constructors of Arbiser, Miquel and Rios, an extension of lambda-calculus with a pattern matching mechanism for variadic constructors.
Barbara Petit
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study presents an infrared monitoring approach for direct laser interference patterning (DLIP) combined with a convolutional neural network (CNN). Thermal emission data captured during structuring are used to predict surface topography parameters.
Lukas Olawsky +5 more
wiley +1 more source
Reasonable Space for the ${\lambda}$-Calculus, Logarithmically [PDF]
Logical Methods in Computer ScienceCan the $\lambda$-calculus be considered a reasonable computational model? Can we use it for measuring the time $\textit{and}$ space consumption of algorithms?
Beniamino Accattoli +2 more
doaj +1 more source
Lambda Calculus in Core Aldwych [PDF]
, 2016 Core Aldwych is a simple model for concurrent computation, involving the concept of agents which communicate through shared variables. Each variable will have exactly one agent that can write to it, and its value can never be changed once written, but a ...
Communicating Process Architectures +1 more
core
Advanced Engineering Materials, EarlyView.The thermal diffusivity of MgO‐C refractories is highly sensitive to sample preparation and processing procedures. In this article, the effects of coking sequence, machining conditions, structural inhomogeneity, and graphite coating application on measurements using laser flash apparatus are systematically investigated.
Luyao Pan +4 more
wiley +1 more source