𝔖 Bobbio Scriptorium

✦ LIBER ✦

Reducibility of types in typed lambda calculus: Comment on a paper by Richard Statman

✍ Scribed by Wil Dekkers

Book ID: 113383886
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 218 KB
Volume: 77
Category: Article
ISSN: 0890-5401
DOI: 10.1016/0890-5401(88)90054-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on the paper by A. E. Belinskii

Comments on the paper by A. E. Belinskii, A. L. Chugreev, and I. A. Misurkin, “Different types of states of a one-dimensional system of electrons in the unrestricted Hartree-Fock method”

✍ O. Castano; P. Karadakov 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 69 KB

Comments on the paper by A.F. Lehar and

Comments on the paper by A.F. Lehar and J.E. Whitehouse “Irradiation induced compensation of n-type germanium. electrical measurements.” published in Solid State Communications 17, 1609 (1975)

✍ V.V. Emtsev; T.V. Mashovets 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 191 KB

Significantly increased frequency of bas

Significantly increased frequency of baseline IgA anti–type II collagen positivity in the placebo group in a study of oral type II collagen treatment of rheumatoid arthritis: Comment on the article by Barnett et al

✍ Alfonse T. Masi; Jean C. Aldag 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB 👁 2 views

Comment on the paper “On the formation o

Comment on the paper “On the formation of three types of e.m. elements in a current-carrying plasma with double flows” by V.M. Gubchenko, H.K. Biernat, M.L. Khodachenko, H.O. Rucker and V.V. Zaitsev

✍ Alexey P. Kropotkin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 69 KB

Response to the letter from O. Castano a

Response to the letter from O. Castano and P. Karadakov: “Comments on the paper by A. E. Belinskii, A. L. Chugreev, and I. A. Misurkin, ‘Different types of states of a one-dimensional system of electrons in the unrestricted Hartree-Fock Method”

✍ I. A. Misurkin; A. L. Chugreev 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 52 KB

Comment – on ‘Analysis of Petschek-Type

Comment – on ‘Analysis of Petschek-Type Reconnection in Non-Uniform Field and Flow Geometries’, by Michael T. Kiendl, Vladimir S. Semenov, Igor V. Kubyshkin, Helfried K. Biernat, Richard P. Rijnbeek, and Bruno P. Besser

✍ Walter J. Heikkila 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 74 KB