Results 71 to 80 of about 31,361 (278)
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
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
Correctness of copy in calculi with letrec, case, constructors and por [PDF]
, 2007 This paper extends the internal frank report 28 as follows: It is shown that for a call-by-need lambda calculus LRCCP-Lambda extending the calculus LRCC-Lambda by por, i.e in a lambda-calculus with letrec, case, constructors, seq and por, copying can be ...
Schmidt-Schauß, Manfred
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
The Bang Calculus and the Two Girard's Translations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study the two Girard's translations of intuitionistic implication into linear logic by exploiting the bang calculus, a paradigmatic functional language with an explicit box-operator that allows both call-by-name and call-by-value lambda-calculi to be ...
Giulio Guerrieri, Giulio Manzonetto
doaj +1 more source
Advanced Engineering Materials, EarlyView.It is shown that laser ablation pretreatment under oxygen‐free conditions enables copper–aluminium bonding at significantly lower deformation degrees and improved properties compared to mechanical brushing. Laser ablation further increases interface contact area and induces favourable residual stress states and microstructural compatibility ...
Khemais Barienti +11 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Creep experiments at 900°C on coarse‐grained steel‐ceramic composites containing recycled magnesia reveal that higher ceramic volume fractions significantly enhance the creep resistance. Detailed EBSD investigations identify subgrain formation in the steel matrix as the dominant deformation mechanism.
Moritz Müller +6 more
wiley +1 more source
Lambda Calculus for Engineers [PDF]
, 2007 In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing.
Hartel, P.H., Vree, W.G.
core +1 more source