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/
BibTeXJosé Espírito Santo, Ralph Matthes, Luís Pinto
Continuation-passing style and strong normalisation for intuitionistic sequent calculi
Dans : Logical Methods in Computer Science, Logical Methods in Computer Science, Germany, Vol. 5 N. 2, (en ligne), mai 2009.
Accès : http://www.lmcs-online.org/ojs/viewarticle.php?id=404&layout=abstract – http://arxiv.org/pdf/0903.1822
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.
José Espírito Santo, Ralph Matthes, Luís Pinto
A Coinductive Approach to Proof Search (regular paper)
Dans : Fixed Points in Computer Science (FICS 2013), Turin (Italie), 01/09/13, Vol. 126, David Baelde, Arnaud Carayol (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 28-43, août 2013.
Résumé Accès : http://dx.doi.org/10.4204/EPTCS.126.3 – https://oatao.univ-toulouse.fr/12636/
BibTeXJosé Espírito Santo, Ralph Matthes, Luís Pinto
Monadic translation of intuitionistic sequent calculus
Dans : Conference of the Types Project (TYPES 2008), Torino, Italie, 26/03/08-29/03/08, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (Eds.), Springer, Lecture Notes in Computer Science 5497, p. 100-116, juin 2009.
José Espírito Santo, Ralph Matthes, Luís Pinto
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Dans : Typed Lambda Calculi and Applications, Paris, France, 26/06/07-28/06/07, Vol. 4583, Simona Ronchi Della Rocca (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 133-147, juin 2007.
Résumé Accès : http://www.irit.fr/~Ralph.Matthes/papers/TLCA07final.pdf
BibTeX