𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reversible and irreversible hydrogen embrittlement

✍ Scribed by I. I. Vasilenko; G. V. Karpenko; S. I. Mikitishin; N. N. Tkachenko


Publisher
Springer
Year
1966
Tongue
English
Weight
175 KB
Volume
1
Category
Article
ISSN
1573-885X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Reversible, irreversible and optimal Ξ»-m
✍ Vincent Danos; Laurent Regnier πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 163 KB

Lambda-calculus is the core of functional programming, and many di erent ways to evaluate lambda-terms have been considered. One of the nicest, from the theoretical point of view, is head linear reduction. We compare two ways of implementing that speciΓΏc evaluation strategy: "Krivine's abstract mac