# Contents

## Idea

The term “system L” may refer to (at least) two different concepts in formal logic:

## References

### The sequent calculus

• Pierre-Louis Curien, Hugo Herbelin, The duality of computation, Proceeding ICFP ‘00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming Pages 233 - 243 (web)

• Arnaud Spiwack, section 5 of A dissection of L, preprint pdf

### The natural deduction system

Last revised on May 5, 2014 at 04:16:45. See the history of this page for a list of all contributions to it.