Confluence for classical logic through the distinction between values and computations

José Espírito Santo, Ralph Matthes, Koji Nakazawa +1

We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-e…