𝔖 Bobbio Scriptorium
✦   LIBER   ✦

λβ′ — A λ-calculus with a generalized β-reduction rule

✍ Scribed by Sundeep Oberoi


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
601 KB
Volume
54
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Synthesis of a β-glycoside functionalize
✍ Rachel L. Beingessner; Julian A. Diaz; Usha D. Hemraz; Hicham Fenniri 📂 Article 📅 2011 🏛 Elsevier Science 🌐 French ⚖ 548 KB

Progress toward the synthesis of guanine-cytosine (GKC) oligonucleotides for the spontaneous selfassembly of rosette nanotubes (RNTs) with predefined length is described. Highlighted is the synthesis of the b-glycoside functionalized GKC base along with a new nitrogen protecting group strategy that

Synthetic peptides and β-chain gene rear
✍ Bjarne Bogen; Ralph Snodgrass; Jean Paul Briand; Kristian Hannestad 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 607 KB

Twelve L3T4+ Ly-2.2- subclones, derived from 4 independent BALB/c T cell lines, responded to a combination of the I-Ed molecule and a synthetic peptide corresponding to residues 91-108 of the lambda light chain from BALB/c myeloma protein M315 (alpha, lambda 2). Peptide analogues in which the mutate