Towards a Classical Linear λ-calculus (Preliminary Report)

Citations of this article
Mendeley users who have this article in their library.


This paper considers a typed λ-calculus for classical linear logic. I shall give an explanation of a multiple-conclusion formulation for 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 natural deduction formulation of classical linear logic. I shall also demonstrate a somewhat hidden connexion with the continuation-passing paradigm which gives a new computational interpretation of Parigot's techniques and possibly a new style of continuation programming. © 1996 Elsevier B.V. All rights reserved.




Bierman, G. M. (1996). Towards a Classical Linear λ-calculus (Preliminary Report). Electronic Notes in Theoretical Computer Science, 3(C), 15–27.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free