nLab system L

Contents

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, A dissection of L (2014) [pdf]

The natural deduction system

Last revised on August 21, 2023 at 08:35:25. See the history of this page for a list of all contributions to it.