nLab system L



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


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.