3 ms·
Jones has said a few times that there's no demonstrable benefit to the sequent calculus over the lambda calculus. Here they conclude that the sequent calculus i
by swatson741 3y ago
Jones has said a few times that there's no demonstrable benefit to the sequent calculus over the lambda calculus. Here they conclude that the sequent calculus is better for term rewriting optimizations. Of course, term rewriting itself hasn't been shown to be very useful.
- deleted 3y ago[deleted]
- noelwelsh 3y agoI can't comment on sequent calculus as a compiler IR, but in the context of programming language design I think there are some interesting benefits from using sequent calculus as a formal model. This paper goes into some details: https://dl.acm.org/doi/10.1145/3547637 https://dl.acm.org/doi/10.1145/3547637. (Most of the authors are also authors on the OP paper.)