TY  - RPRT
TI  - Confluence for classical logic through the distinction between values and computations
AU  - José Espírito Santo
AU  - Ralph Matthes
AU  - Koji Nakazawa
AU  - Luís Pinto
PY  - 2014
DO  - 10.4204/eptcs.164.5
UR  - https://arxiv.org/abs/1409.3316
ID  - 1409.3316
ER  -