𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards a Classical Linear λ-calculus (Preliminary Report)

✍ Scribed by G.M. Bierman

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
791 KB
Volume
3
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A classical linear λ-calculus
A classical linear λ-calculus
✍ G.M. Bierman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 215 KB

This paper proposes and studies a particular typed -calculus for classical linear logic. I shall give an explanation of a natural deduction formulation of classical logic due to Parigot and compare it to more traditional treatments by Prawitz and others. I shall use Parigot's method to devise a natu

A Probabilistic Polynomial-time Calculus
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)
✍ J. Mitchell; A. Ramanathan; A. Scedrov; V. Teague 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 294 KB

We describe properties of a process calculus that has been developed for the purpose of analyzing security protocols. The process calculus is a restricted form of π-calculus, with bounded replication and probabilistic polynomial-time expressions allowed in messages and boolean tests. In order to avo