Bibtex de la publication

@Article{ EsMaNaPi2013.1,
author = {Espírito Santo, José and Matthes, Ralph and Nakazawa, Koji and Pinto, Luís},
title = "{Monadic translation of classical sequent calculus}",
journal = {Mathematical Structures in Computer Science},
publisher = {Cambridge University Press},
address = {http://www.cambridge.org/},
year = {2013},
month = {décembre},
volume = {23},
number = {6},
pages = {1111--1162},
language = {anglais},
URL = {http://dx.doi.org/10.1017/S0960129512000436 - http://oatao.univ-toulouse.fr/12342/}
}