✦ LIBER ✦

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

✍ Scribed by Antonino Salibra; Robert Goldblatt

Book ID: 112252381
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 371 KB
Volume: 148
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2745

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Equational Axiomatization for the Dis

An Equational Axiomatization for the Disjoint System of Post Algebras

✍ Epstein, G. 📂 Article 📅 1973 🏛 IEEE 🌐 English ⚖ 473 KB

Weakly higher order cylindric algebras a

Weakly higher order cylindric algebras and finite axiomatization of the representables

✍ I. Németi; A. Simon 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

A consistent extension of the lambda-cal

A consistent extension of the lambda-calculus as a base for functional programming languages

✍ Klaus J. Berkling; Elfriede Fehr 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 504 KB

A Finite Hilbert-Style Axiomatization of

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

✍ Jordi Rebagliato; Ventura Verdú 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 374 KB 👁 1 views

## Abstract In this paper we obtain a finite Hilbert‐style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}‐formulas containing this fragment. Mat

A binary modal logic for the intersectio

A binary modal logic for the intersection types of lambda-calculus

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

The Steinberg function of a finite Lie a

The Steinberg function of a finite Lie algebra

✍ T. A. Springer 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 220 KB