Publications of
José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto
Monadic translation of classical sequent calculus
In : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 23 N. 6, pp. 1111-1162, December 2013.
URL : 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
In : Logical Methods in Computer Science, Logical Methods in Computer Science, Germany, Vol. 5 N. 2, (on line), May 2009.
URL : 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, Luís Pinto
A Coinductive Approach to Proof Search (regular paper)
In : 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), pp. 28-43, August 2013.
Abstract URL : 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
In : 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, pp. 100-116, June 2009.
José Espírito Santo, Ralph Matthes, Luís Pinto
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
In : 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, pp. 133-147, June 2007.
Abstract URL : http://www.irit.fr/~Ralph.Matthes/papers/TLCA07final.pdf
BibTeX