✦ LIBER ✦

An upper bound for reduction sequences in the typed λ-calculus

✍ Scribed by Helmut Schwichtenberg

Publisher: Springer
Year: 1991
Tongue: English
Weight: 205 KB
Volume: 30
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01621476

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An upper bound for the λ-invariant of im

An upper bound for the λ-invariant of imaginary abelian fields

✍ Tauno Metsänkylä 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 196 KB

Computable upper bounds for the constant

Computable upper bounds for the constants in Poincaré-type inequalities for fields of bounded deformation

✍ Martin Fuchs 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 197 KB

## Communicated by W. Sprößig We collect various Poincaré-type inequalities valid for fields of bounded deformation and give explicit upper bounds for the constants being involved.

Upper and lower bounds for ground-state

Upper and lower bounds for ground-state energies in the helium isoelectronic sequence

✍ M.A. Abdel-Raouf 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 248 KB

An upper bound for the largest eigenvalu

An upper bound for the largest eigenvalue of a graph: Effect of types of vertices

✍ Lemi Türker 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 423 KB

An analytic formula and an upper bound f

An analytic formula and an upper bound for ε′ε in the Standard Model

✍ Andrzej J. Buras; Markus E. Lautenbacher 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 297 KB

An upper bound for the number of polynom

An upper bound for the number of polynomials in Markov binomial sampling plans

✍ Chorneyko, I. 📂 Article 📅 1963 🏛 Wiley (John Wiley & Sons) ⚖ 197 KB 👁 1 views