Results 91 to 100 of about 230,472 (297)
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
Ein nichtdeterministischer Call-by-Need-Lambda-Kalkül : Nachweis der Präkongruenzeigenschaft für Similarity über eine Erweiterung von Howes Methode auf Sharing [PDF]
, 2006 In this dissertation a non-deterministic lambda-calculus with call-by-need evaluation is treated. Call-by-need means that subexpressions are evaluated at most once and only if their value must be known to compute the overall result. Also called "sharing",
Mann, Matthias
core
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.ErB4 and NdB4 nanostructured powders are produced by mechanochemical synthesis. 5 h mechanical alloying and 4 M HCl acid leaching are used in the production. ErB4 and NdB4 powders exhibit maximum magnetization of 0.4726 emu g−1 accompanied with an antiferromagnetic‐to‐paramagnetic phase transition at about TN = 18 K and 0.132 emu g−1 with a maximum at ...
Burçak Boztemur +5 more
wiley +1 more source
The structural lambda-calculus
, 2010 Inspired by a recent graphical formalism for lambda-calculus based on Linear Logic technology, we introduce an untyped structural lambda-calculus, called lambda_j, which combines action at a distance with exponential rules decomposing the substitution by means of weakening, contraction and dereliction.
Accattoli, Beniamino, Kesner, Delia
openaire +3 more sources
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case [PDF]
, 2008 The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove
Schmidt-Schauß, Manfred +1 more
core
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez +5 more
wiley +1 more source
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations [PDF]
, 2006 We present a higher-order call-by-need lambda calculus enriched with constructors, case-expressions, recursive letrec-expressions, a seq-operator for sequential evaluation and a non-deterministic operator amb, which is locally bottom-avoiding.
Sabel, David, Schmidt-Schauß, Manfred
core
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
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi [PDF]
, 2006 Extending the method of Howe, we establish a large class of untyped higher-order calculi, in particular such with call-by-need evaluation, where similarity, also called applicative simulation, can be used as a proof tool for showing contextual preorder ...
Mann, Matthias, Schmidt-Schauß, Manfred
core
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source