Results 81 to 90 of about 14,639 (283)
Translating HOL to Dedukti [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti.
Ali Assaf, Guillaume Burel
doaj +1 more source
Reconciling positional and nominal binding
, 2013 We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positional
Ancona, Davide +2 more
core +2 more sources
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
Linear-algebraic lambda-calculus
, 2005 With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction.
Arrighi, Pablo, Dowek, Gilles
core +1 more source
Influence of an Argon/Silane Atmosphere on the Temperature of a Thermal Plasma
Advanced Engineering Materials, EarlyView.The influence of a silane‐doped argon atmosphere on the chemical composition and temperature of a thermal nontransferring argon plasma is investigated using optical emission spectroscopy. As a result of the high amount of free electrons resulting from the stepwise ionization and dissociation of the silane molecule, even a silane addition of 0.01 vol ...
Lena Kreie +4 more
wiley +1 more source
Handbook of Establishing and Maintaining Oxygen‐Free Atmospheres
Advanced Engineering Materials, EarlyView.This study presents a practical framework for creating oxygen‐free atmospheres at ambient pressure using silane‐doped inert gases. The results show that ultra‐low oxygen levels and strongly reduced water content can be achieved through controlled silane dosing, drying systems, and sensor monitoring.
Sascha Jan Zimmermann +3 more
wiley +1 more source
Thunks and the lambda-Calculus
BRICS Report Series, 1996 <p>Thirty-five years ago, thunks were used to simulate call-by-name<br />under call-by-value in Algol 60. Twenty years ago, Plotkin presented continuation-based simulations of call-by-name under call-by-value and vice versa in the lambda-calculus. We connect all three of these classical simulations by factorizing the continuation-based call-
Hatcliff, John, Danvy, Olivier
openaire +2 more sources
Oxide‐Free Titanium Coatings by Wire Arc Spraying in a Silane‐Doped Inert Atmosphere
Advanced Engineering Materials, EarlyView.A silane‐doped argon atmosphere enables the production of oxide‐free titanium coatings via twin‐wire arc spraying at ambient pressure. This innovative approach eliminates residual oxygen, creating process conditions that prevent oxidation and nitride formation.
Manuel Rodriguez Diaz +4 more
wiley +1 more source
HTLC: Hyperintensional typed lambda calculus [PDF]
, 2021 In this paper we introduce the logic HTLC, for Hyperintensional Typed Lambda Calculus. The system extends the typed lambda-calculus with hyperintensions and related rules. The polymorphic nature of the system allows to reason with expressions for extensional, intensional and hyperintentsional entities.
M. Fait, G. Primiero
openaire +1 more source