✦ LIBER ✦

Enumerators of lambda terms are reducing constructively

✍ Scribed by Henk Barendregt

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 323 KB
Volume: 73
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)00022-u

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Constructively Non-Morphisms of Enume

On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations

✍ Andrzej Orlicki 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 565 KB

Long-term methamphetamine-induced decrea

Long-term methamphetamine-induced decreases of [11C]WIN 35,428 binding in striatum are reduced by GDNF: PET studies in the vervet monkey

✍ William P. Melega; Goran Laćan; Antonio A.F. Desalles; Michael E. Phelps 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 102 KB

The effects of glial cell line-derived neurotrophic factor (GDNF) pretreatment on methamphetamine (METH)-induced striatal dopamine system deficits in the vervet monkey were characterized with [ 11 C]WIN 35,428 (WIN)-positron emission tomography (PET). WIN, a cocaine analog that binds to the dopamine