✦ LIBER ✦

Developing (Meta)Theory of λ-calculus in the Theory of Contexts

✍ Scribed by Marino Miculan

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 402 KB
Volume: 58
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00278-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theλ-Calculus and the Unity of Structura

Theλ-Calculus and the Unity of Structural Proof Theory

✍ José Espírito Santo 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 594 KB

The Context of Ecosystem Theory

✍ Peder Anker 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 56 KB

Negation in the Context of Gaggle Theory

✍ J. Michael Dunn; Chunlai Zhou 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 245 KB

The theory of the umbral calculus II

✍ Steven Roman 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 828 KB

Mechanising λ-calculus using a classical

Mechanising λ-calculus using a classical first order theory of terms with permutations

✍ Michael Norrish 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 416 KB

Applications of stochastic calculus and

Applications of stochastic calculus and ergodic theory in chaotic communication theory

✍ Chi-Chung Chen; Kung Yao 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 468 KB

In this paper, we consider two basic problems in chaotic communications. First, we use stochastic calculus methods to analyze the performances of self-synchronizing chaotic communication systems. Then we apply ergodic theory techniques for the design of optimal spreading sequences for asynchronous D