✦ LIBER ✦

Semantics of the typed λ-calculus with substitution in a cartesian closed category

✍ Scribed by John W. Gray

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 994 KB
Volume: 89
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(93)90089-c

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Substitution of glycine-172 by arginine

Substitution of glycine-172 by arginine in the α1 chain of type I collagen in a patient with osteogenesis imperfecta, type III

✍ Katrina Mackay; Anne De Paepe; Lieve Nuytinck; Raymond Dalgleish 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 194 KB

96/02337 - Artificial maturation of Mont

96/02337 - Artificial maturation of Monterey kerogen (Type II-S) in a closed system and comparison with Type II kerogen: Implications on the fate of sulfur

✍ J. Tomic 📂 Article 📅 1996 🏛 Elsevier Science ⚖ 137 KB

A single base pair substitution within t

A single base pair substitution within the paired box of PAX3 in an individual with Waardenburg syndrome type 1 (WS1)

✍ John W. Pierpont; Luke D. Doolan; Kurt Amann; Greg R. Snead; Robert P. Erickson 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

An α1 II Gly913 to Cys substitution prev

An α1 II Gly913 to Cys substitution prevents the matrix incorporation of type II collagen which is replaced with type I and III collagens in cartilage from a patient with hypochondrogenesis

✍ Mundlos, Stefan; Chan, Danny; McGill, Jim; Bateman, John F. 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 37 KB 👁 1 views

A heterozygous mutation in the COL2A1 gene was identified in a patient with hypochondrogenesis. The mutation was a single nucleotide transition of G3285T that resulted in an amino acid substitution of Cys for Gly9I3 in the al(I1) chain of type I1 collagen. This amino acid change disrupted the obliga

Substitution of a Conserved Disulfide in

Substitution of a Conserved Disulfide in the Type IIa Bacteriocin, Leucocin A, with L-Leucine and L-Serine Residues: Effects on Activity and Three-Dimensional Structure

✍ Dr. Clarissa S. Sit; Christopher T. Lohans; Dr. Marco J. van Belkum; Chantel D. 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 626 KB

Substitution of arginine for glycine at

Substitution of arginine for glycine at position 154 of the α1 chain of type I collagen in a variant of osteogenesis imperfecta: Comparison to previous cases with the same mutation

✍ Zhuang, Jiapiao; Tromp, Gerard; Kuivaniemi, Helena; Castells, Salvador; Prockop, 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 33 KB 👁 1 views

A substitution of arginine for glycine at amino acid position 154 of the al(1) collagen chain was found in a father and his three children. The phenotype of the patients includes manifestations of types I and IIUIV osteogenesis imperfecta, but appears to be milder than that of the previously describ