✦ LIBER ✦

Theλ-Calculus and the Unity of Structural Proof Theory

✍ Scribed by José Espírito Santo

Publisher: Springer
Year: 2009
Tongue: English
Weight: 594 KB
Volume: 45
Category: Article
ISSN: 1433-0490
DOI: 10.1007/s00224-009-9183-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Proof Theory of the Modal mu-Calc

On the Proof Theory of the Modal mu-Calculus

✍ Thomas Studer 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 366 KB

Developing (Meta)Theory of λ-calculus in

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

✍ Marino Miculan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 402 KB

Analytic proof systems for λ-calculus: t

Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters

✍ Pierluigi Minari 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 523 KB

THE JUDGEMENT CALCULUS FOR INTUITIONISTI

THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

✍ Silvio Valentini 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 958 KB

## Abstract In this paper we propose a new set of rules for a judgement calculus, i.e. a typed lambda calculus, based on Intuitionistic Linear Logic; these rules ease the problem of defining a suitable mathematical semantics. A proof of the canonical form theorem for this new system is given: it as

A theory of structural stationarity in t

A theory of structural stationarity in theπ-Calculus

✍ Roland Meyer 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 875 KB

Short proofs of normalization for the si

Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

✍ Felix Joachimski; Ralph Matthes 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 302 KB