Publications de
José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto
Monadic translation of classical sequent calculus
Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 23 N. 6, p. 1111-1162, décembre 2013.
Accès : http://dx.doi.org/10.1017/S0960129512000436 – https://oatao.univ-toulouse.fr/12342/
BibTeX
José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto
Confluence for classical logic through the distinction between values and computations (regular paper)
Dans : International Workshop on Classical Logic and Computation (CL&C 2014), Vienne, 13/07/14, Vol. 164, Steffen van Bakel, Stefano Berardi, Paulo Oliva (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 63-77, septembre 2014.