✦ LIBER ✦

Proof-relevance of families of setoids and identity in type theory

✍ Scribed by Erik Palmgren

Publisher: Springer
Year: 2011
Tongue: English
Weight: 184 KB
Volume: 51
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-011-0252-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Direct Proof of Slavnov's Identity in

A Direct Proof of Slavnov's Identity in Pure Yang-Mills Theory

✍ Dr. B. Geyer; D. Mülsch 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 592 KB

An elementary proof of an equivalence th

An elementary proof of an equivalence theorem relevant in the theory of optimization

✍ L. Cesari; P. Pucci 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 596 KB

An elementary proof of an equivalence th

An elementary proof of an equivalence theorem relevant in the theory of optimization

✍ L. Cesari; P. Pucci 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 33 KB

Two identities in the theory of polynomi

Two identities in the theory of polynomials of binomial type

✍ A.J Stam 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 186 KB

A Constructive Proof of a Theorem in Rel

A Constructive Proof of a Theorem in Relevance Logic

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B

Dissecting the genetics of Type 1 diabet

Dissecting the genetics of Type 1 diabetes: relevance for familial clustering and differences in incidence

✍ Buzzetti, Raffaella ;Quattrocchi, Carlo Cosimo ;Nisticò, Lorenza 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB 👁 1 views

A combination of genetic and environmental factors is most likely the cause of Type 1 diabetes. Results from twin data, familial clustering of the disease and difference in incidence according to ethnicity infer the presence of specific disease genes. The genetic component of Type 1 diabetes cannot