✦ LIBER ✦

Inductive types and type constraints in the second-order lambda calculus

✍ Scribed by Nax Paul Mendler

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 902 KB
Volume: 51
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(91)90069-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full Intersection Types and Topologies i

Full Intersection Types and Topologies in Lambda Calculus

✍ Silvia Ghilezan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Topologies are introduced on the set of lambda terms by their typeability in the full intersection type assignment system. These topologies give rise to simple proofs of some fundamental results of the lambda calculus such as the continuity theorem and the genericity lemma. We show that application

On the fractional calculus in abstract s

On the fractional calculus in abstract spaces and their applications to the Dirichlet-type problem of fractional order

✍ Hussein A.H. Salem 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 923 KB

In the following pages, based on the linear functional over a Banach space E and on the definition of fractional integrals of real-valued functions, we define the fractional Pettisintegrals of E-valued functions and the corresponding fractional derivatives. Also, we show that the well-known properti

Second-order sufficiency criteria and lo

Second-order sufficiency criteria and local convexity for equivalent problems in the calculus of variations

✍ Philip D Loewen 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 540 KB

Gut and the Induction of Immune Toleranc

Gut and the Induction of Immune Tolerance in Type 1 Diabetes

✍ Outi Vaarala 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 122 KB 👁 1 views

The origin of b-cell speci®c autoimmunity is not known in Type 1 diabetes. Several studies of this disease in animal models indicate that the manifestation of autoimmune diabetes can be modi®ed by factors which in¯uence the gut immune system. Some indirect evidence from studies in patients with Type

On the Nature of the Temperature Depende

On the Nature of the Temperature Dependence of NMR Spectra Second Moment in Order-Disorder Type Ferroelectrics

✍ N. A. Sergeev; Yu. G. Kubarev 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

Initial Value Problems for the Second Or

Initial Value Problems for the Second Order Mixed Monotone Type of Impulsive Differential Equations in Banach Spaces

✍ Sun Jinli; Ma Yihai 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 100 KB

In this paper, we use the coupled fixed point theorem for mixed monotone condensing operators to obtain an existence and uniqueness theorem of solutions of initial value problems for the second order mixed monotone type of impulsive differential equations and its application.