𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A syntactical proof of the operational equivalence of two λ-terms

✍ Scribed by René David; Karim Nour

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
288 KB
Volume
180
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we present a purely syntactical proof of the operational equivalence of I = ixx and the I-term J that is the q-infinite expansion of I.

📜 SIMILAR VOLUMES

A new and simple proof of the equivalenc
A new and simple proof of the equivalence theorem for behaviors
✍ Jan Willem Polderman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 60 KB

behavior are related through a left unimodular transformation. We present a new and extremely simple and insightful proof for this well-established fact.

Exchange terms in the two-nucleon induce
Exchange terms in the two-nucleon induced non-mesonic weak decay of Λ-hypernuclei
✍ E. Bauer; G. Garbarino 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 395 KB

The contribution of Pauli exchange terms to the two-nucleon induced non-mesonic weak decay of 12 Λ C hypernuclei, ΛN N → nN N (N = n or p), is studied within a nuclear matter formalism implemented in a local density approximation. We have adopted a weak transition potential including the exchange of