Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Intersection Type Systems And Logics Related To The Meyer-Routley System B+, Martin W. Bunder
Intersection Type Systems And Logics Related To The Meyer-Routley System B+, Martin W. Bunder
Faculty of Engineering and Information Sciences - Papers: Part A
Some, but not all, closed terms of the lambda calculus have types; these types are exactly the theorems of intuitionistic implicational logic. An extension of these simple (→) types to intersection (or →∧) types allows all closed lambda terms to have types. The corresponding →∧ logic, related to the Meyer–Routley minimal logic B+ (without ∨), is weaker than the →∧ fragment of intuitionistic logic. In this paper we provide an introduction to the above work and also determine the →∧ logics that correspond to certain interesting subsystems of the full →∧ type theory.
Glass Formation In A (Ti,Zr,Hf)-(Cu,Ni,Ag)-Al High-Order Alloy System By Mechanical Alloying, L C. Zhang, Z Q. Shen, Jian Xu
Glass Formation In A (Ti,Zr,Hf)-(Cu,Ni,Ag)-Al High-Order Alloy System By Mechanical Alloying, L C. Zhang, Z Q. Shen, Jian Xu
Faculty of Engineering and Information Sciences - Papers: Part A
In this work, glass formation under high-energy ball milling was investigated for a (Ti0.33Zr0.33Hf0.33)50(Ni0.33Cu0.33Ag0.33)40Al10 high-order alloy system with equiatomic substitution for early and late transition-metal contents. For comparison, an amorphous alloy ribbon with the same composition was prepared using the melt-spinning method as well. Structural features of the samples were characterized using x-ray diffraction, transmission electron microscopy, and differential scanning calorimetry. Mechanical alloying resulted in a glassy alloy similar to that obtained by melt spinning. However, the glass formation was incomplete, and a …